[gnome-builder/wip/chergert/perspective] prefs: remove unused option

[Christian Hergert <chergert src gnome org>]

commit a5ef67f7e80d0fceb527bb9ad708c45fa050a581
Author: Christian Hergert <chergert redhat com>
Date:   Sat Nov 7 01:11:18 2015 -0800

    prefs: remove unused option

 libide/preferences/ide-preferences-builtin.c |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/libide/preferences/ide-preferences-builtin.c b/libide/preferences/ide-preferences-builtin.c
index 89df557..90d0b0f 100644
--- a/libide/preferences/ide-preferences-builtin.c
+++ b/libide/preferences/ide-preferences-builtin.c
@@ -62,7 +62,6 @@ ide_preferences_builtin_register_appearance (IdePreferences *preferences)
 
   ide_preferences_add_group (preferences, "appearance", "basic", NULL, 0);
   ide_preferences_add_switch (preferences, "appearance", "basic", "org.gnome.builder", "night-mode", NULL, 
_("Dark Theme"), _("Whether Builder should use a dark theme"), _("dark theme"), 0);
-  ide_preferences_add_switch (preferences, "appearance", "basic", "org.gnome.builder", "animations", NULL, 
_("Animations"), _("Whether animations should be used when appropriate"), _("animations"), 100);
 
   ide_preferences_add_list_group (preferences, "appearance", "font", _("Font"), 100);
   ide_preferences_add_font_button (preferences, "appearance", "font", "org.gnome.builder.editor", 
"font-name", _("Editor"), _("editor font monospace"), 0);