Major improvements in IDE usability.

1 files changed, 0 insertions, 35 deletions

diff --git a/studio/static/js/wymeditor/skins/compact/skin.js b/studio/static/js/wymeditor/skins/compact/skin.js
deleted file mode 100644
index cfb7cc1..0000000
--- a/studio/static/js/wymeditor/skins/compact/skin.js
+++ /dev/null
@@ -1,35 +0,0 @@
-WYMeditor.SKINS['compact'] = {
-
-    init: function(wym) {
-    
-        //move the containers panel to the top area
-        jQuery(wym._options.containersSelector + ', '
-          + wym._options.classesSelector, wym._box)
-          .appendTo( jQuery("div.wym_area_top", wym._box) )
-          .addClass("wym_dropdown")
-          .css({"margin-right": "10px", "width": "120px", "float": "left"});
-
-        //render following sections as buttons
-        jQuery(wym._options.toolsSelector, wym._box)
-          .addClass("wym_buttons")
-          .css({"margin-right": "10px", "float": "left"});
-
-        //make hover work under IE < 7
-        jQuery(".wym_section", wym._box).hover(function(){
-          jQuery(this).addClass("hover");
-        },function(){
-          jQuery(this).removeClass("hover");
-        });
-
-        var postInit = wym._options.postInit;
-        wym._options.postInit = function(wym) {
-
-            if(postInit) postInit.call(wym, wym);
-            var rule = {
-                name: 'body',
-                css: 'background-color: #f0f0f0;'
-            };
-            wym.addCssRule( wym._doc.styleSheets[0], rule);
-        };
-    }
-};