Just...just disable them.

gero3 · May 31, 2012 · 9da6a12 · 9da6a12
1 parent c919687
commit 9da6a12
Show file tree

Hide file tree

Showing 3 changed files with 502 additions and 1,108 deletions.
diff --git a/plugins-client/ext.panels/panels.js b/plugins-client/ext.panels/panels.js
@@ -57,6 +57,9 @@ module.exports = ext.register("ext/panels/panels", {
         });
 
         ide.addEventListener("settings.load", function(){
+            if (apf.isGecko)
+                settings.model.setQueryValue("general/@animateui", false);
+
             if (!settings.model.queryNode("auto/panels/panel[@path='" 
                 + panelExt.path + "']")) {
                 settings.model.appendXml("<panel path='" 

diff --git a/plugins-client/ext.panels/settings.xml b/plugins-client/ext.panels/settings.xml
@@ -1,4 +1,4 @@
 <a:application xmlns:a="http://ajax.org/2005/aml">
-    <a:checkbox class="underlined" label="Enable UI Animations" value="[general/@animateui]" skin="checkbox_grey" position="1000" />
+    <a:checkbox visible="!apf.isGecko" class="underlined" label="Enable UI Animations" value="[general/@animateui]" skin="checkbox_grey" position="1000" />
     <a:checkbox position="1001" class="underlined" label="Animate Scrolling" value="[editors/code/@animatedscroll]" skin="checkbox_grey" />
 </a:application>