1

Closed

The newly added functionality to hide the dock makes it permanently disappear

description

Sometimes the dock stays hidden. Also maybe we can make the auto-hide option an option in settings
Closed Jul 16, 2012 at 6:38 PM by cyberknet

comments

wrote Jul 16, 2012 at 6:38 PM

Resolved with changeset 92896.

wrote Feb 13, 2013 at 12:51 AM

wrote May 15, 2013 at 11:10 PM