editor: enlarge dragbar width and save preferences after each resize

vispa/extensions/codeeditor/static/css/styles.css

@@ -9,7 +9,7 @@
 }
 .codeeditor #execute {
   min-width: 100px;
-  margin-left: 1px;
+  margin-left: 3px;
 }
 .codeeditor #abort {
   margin-right: -1px;
@@ -33,7 +33,7 @@
   position: absolute;
   top: 0px;
   bottom: 0px;
-  width: 2px;
+  width: 4px;
   overflow: auto;
   z-index: 1;
   background-color: #E8E8E8;
@@ -62,7 +62,7 @@
   position: absolute;
   left: 0px;
   right: 0px;
-  height: 2px;
+  height: 4px;
   overflow: auto;
   z-index: 1;
   background-color: #E8E8E8;

vispa/extensions/codeeditor/static/js/ui.js

@@ -33,6 +33,7 @@ var CodeEditorUI = Emitter.extend({
         var width = $(self.view._nodes.content).width();
         var r = 100.0 * (event.pageX) / width;
         self.setInputOutputRatio(r);
+        self.view.setPreference("inputOutputRatio", r);
       }
     });
 
@@ -62,6 +63,7 @@ var CodeEditorUI = Emitter.extend({
           return;
         }
         self.setTextPictureRatio(r);
+        self.view.setPreference("outputPreviewRatio", r);
       }
     });
   },
@@ -83,4 +85,4 @@ var CodeEditorUI = Emitter.extend({
     return this;
   },
 
-});
+});
\ No newline at end of file