This project is read-only.
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 7:38 PM by cyberknet

comments

wrote Jul 16, 2012 at 7:38 PM

Resolved with changeset 92896.

wrote Feb 13, 2013 at 1:51 AM

wrote May 16, 2013 at 12:10 AM

wrote Nov 27 at 9:25 PM