jfontan/glsl-sandbox — pull request #10 by emackey (2012-12-30 20:56:33+00:00)
Title: scrollbar hide & toolbar auto-hide

Some tweaks from @piersh

* Workaround for Chrome bug where textarea scrollbars don't obey `visibility: hidden;`

* Auto-hide the toolbar if the code has been manually hidden and there is no mouse activity for about 5 seconds