+ var splitter = $('#splitter'),
+ editors = $('#editor .editor'),
+ vsplitbar = $('.vsplitbar'),
+ sidebar = $('#sidebar'),
+ dragLayer = $('#drag-layer'),
+ vsplitbarWidth = vsplitbar.outerWidth(),
+ isHolding = false;
+
+ // Moves panes so that left border of the vsplitbar lands x pixels from the left border of the splitter
+ function setSplitbarAt(x) {
+ var right = splitterWidth - x;
+ editors.each(function() {
+ this.style.right = right + 'px';
+ });
+ vsplitbar[0].style.right = sidebar[0].style.width = (right - vsplitbarWidth) + 'px';
+ };
+