hide the dock when reconfiguring otherwise the user has to move the mouse over it...
authorDana Jansens <danakj@orodu.net>
Wed, 24 Sep 2003 17:16:01 +0000 (17:16 +0000)
committerDana Jansens <danakj@orodu.net>
Wed, 24 Sep 2003 17:16:01 +0000 (17:16 +0000)
commit89d964d9feacdd07b1037d2c5a073dbbdf3f6304
tree83ffeafa9a2514ddd4ef13ea65762d3b1d6b38eb
parent4cf0d783f741cd1462f36bd03ef7fa9908975d3d
hide the dock when reconfiguring otherwise the user has to move the mouse over it to make it hide the first time
openbox/dock.c