> 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



Attachment: pgpHKuhSAEWWX.pgp
Description: PGP signature

Reply via email to