> Actually, I'm not fond of the Autohide feature at all. It has many > quirks, and there are functions for more robust autohiding in the FAQ > that work with any application, not just the taskbar. I wouldn't > spend any more time and patches to repair a feature that is > fundamentally broken.
Ah ... I should look at the FAQ then. I actually don't understand all this stuff very well. I wake up every 5 years or so and decide that it is time to think about all the new, cool WM stuff and I end up hacking up a new config that'll be good for the next 5 years. So, it's not like I track this stuff... I was just hacking about. I have no problem with the approach you suggest; I just didn't know about the alternate way. Thanks! allman
pgpHKuhSAEWWX.pgp
Description: PGP signature