-
Committer:
Rico Tzschichholz
-
Date:
2015-07-30 14:36:55 UTC
-
Revision ID:
ricotz@ubuntu.com-20150730143655-zge3omq3oez76ts0
dockrenderer: Do not forcefully unhide the dock if it already is
If we do it will cause the dock to hide and unhide again on startup.