zendframework/ZendDeveloperTools — pull request #166 by FabianKoestring (2014-12-17 11:13:53+00:00)
Title: Fixed toolbar auto_hide option

At any point in the development process of this module the commit for issue #11 has been overwritten.
Parts of it are still implemented but the functionality is broken.

With this commit everything should work as expected.