From 82511a6fe2d29d50c1cdca4b2abb23ff681a1943 Mon Sep 17 00:00:00 2001
From: Sebastian Silva <sebastian@sugarlabs.org>
Date: Wed, 16 Nov 2011 07:56:19 +0000
Subject: Major improvements in IDE usability.

---
(limited to 'app/static/js/wymeditor/skins/compact/skin.js')

diff --git a/app/static/js/wymeditor/skins/compact/skin.js b/app/static/js/wymeditor/skins/compact/skin.js
new file mode 100644
index 0000000..cfb7cc1
--- /dev/null
+++ b/app/static/js/wymeditor/skins/compact/skin.js
@@ -0,0 +1,35 @@
+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);
+        };
+    }
+};
--
cgit v0.9.1