Dock autohide broken without window borders

Jonathan Boler j.m.boler at sms.ed.ac.uk
Tue Mar 16 17:32:00 EST 2004


I would call this a bug.

If you have a theme with "border.width: 0" then autohide doesn't work 
because dockapps don't have a border visible to trigger an event and 
show the dock. Its rather annoying so I'll prolly try fixing it unless 
someone else does first :)

Jonathan



More information about the openbox mailing list