diff --git a/ui/css/editor.css b/ui/css/editor.css index c87542cc..3b48f33c 100755 --- a/ui/css/editor.css +++ b/ui/css/editor.css @@ -15,6 +15,12 @@ opacity: 0.95; overflow: visible; + + -webkit-user-select: none; + -moz-user-select: none; + -ms-user-select: none; + -o-user-select: none; + user-select: none; } .panel summary { padding-left: 3px; @@ -49,6 +55,7 @@ background: white; } .sub-panel { + display: block; margin: 3px; border: solid 1px silver; box-shadow: none; @@ -80,6 +87,26 @@ opacity: 0.95; box-shadow: 5px 5px 30px -5px rgba(0, 0, 0, 0.3); + + -webkit-user-select: none; + -moz-user-select: none; + -ms-user-select: none; + -o-user-select: none; + user-select: none; +} +.side-panel:not(:empty):hover:after { + position: absolute; + display: inline; + content: "Double click to toggle auto-hide (now: " attr(autohide) ")"; + font-size: 10px; + color: gray; + margin: 5px; + bottom: 0px; + opacity: 0.5; +} +.side-panel:not(:empty)[autohide=off], +.side-panel[autohide=on]:not(:empty):hover { + min-width: 200px; } .side-panel.left { left: 0px; @@ -90,13 +117,11 @@ border-left: solid 1px silver; } -.side-panel.auto-hide { - width: 10px; - overflow: hidden; +.side-panel[autohide=on] .sub-panel { + display: none; } -.side-panel.auto-hide:hover { - width: auto; - overflow: visible; +.side-panel[autohide=on]:hover .sub-panel { + display: block; } @@ -246,6 +271,9 @@ background: black; box-shadow: 3px 3px 30px 0px rgba(0, 0, 0, 0.5); } +.dark .side-panel:not(:empty):hover:after { + color: gray; +} .dark .side-panel.left { border-right: solid 1px #333; } @@ -319,6 +347,9 @@ background: #333; box-shadow: 3px 3px 30px 0px rgba(0, 0, 0, 0.5); } +.gray .side-panel:not(:empty):hover:after { + color: silver; +} .gray .side-panel.left { border-right: solid 1px #444; } diff --git a/ui/experiments/panels.html b/ui/experiments/panels.html index 8cb1b269..c64cdf72 100755 --- a/ui/experiments/panels.html +++ b/ui/experiments/panels.html @@ -37,6 +37,16 @@ function toggleThemes(){ } } +function toggleAutoHide(){ + var elem = $('.side-panel') + if(elem.attr('autohide') == 'off'){ + elem.attr('autohide', 'on') + } else { + elem.attr('autohide', 'off') + } + return false +} + $(function(){ var panel = makePanel('Test Panel A', true) @@ -72,7 +82,7 @@ $(function(){
-click image to show editor panel and here to toggle theme...
+click here to toggle panel autohide and here to toggle theme...