diff --git a/platform/commonUI/browse/src/PaneController.js b/platform/commonUI/browse/src/PaneController.js index 4436493eb6..31875de4fa 100644 --- a/platform/commonUI/browse/src/PaneController.js +++ b/platform/commonUI/browse/src/PaneController.js @@ -63,7 +63,6 @@ define( */ BrowseTreeController.prototype.toggle = function () { this.state = !this.state; - console.log('tree toggled: ' + this.state); }; /** diff --git a/platform/commonUI/themes/espresso/res/sass/_constants.scss b/platform/commonUI/themes/espresso/res/sass/_constants.scss index 8d52e77324..061a0ee34f 100644 --- a/platform/commonUI/themes/espresso/res/sass/_constants.scss +++ b/platform/commonUI/themes/espresso/res/sass/_constants.scss @@ -154,12 +154,13 @@ $scrollbarThumbColorHov: lighten($scrollbarThumbColor, 2%); $scrollbarTrackShdw: rgba(#000, 0.7) 0 1px 5px; // Splitter -$splitterD: 12px; -$splitterHandleInset: 3px; +$splitterD: 19px; // splitterD and HandleD should both be odd, or even +$splitterHandleD: 3px; +$splitterHandleInset: ($splitterD - $splitterHandleD) * 0.5; // Space to either side of the handle $colorSplitterBg: pullForward($colorBodyBg, 10%); $splitterShdw: rgba(black, 0.4) 0 0 3px; $splitterEndCr: none; -$colorSplitterHover: none; +$colorSplitterHover: rgba(red, 0.2); $colorSplitterActive: $colorKey; // Mobile