Is this a bug?

 From:  Michael Gibson
2399.7 In reply to 2399.6 
Hi David,

> Dou you know what happens?

I did just a couple of days ago fix a bug that Burr reported to me that involved auto-hide taskbars when using the "Windows classic style" desktop theme.

It looks like you are also running that desktop theme, is that correct?

Do you have any other desktop toolbars enabled, and any of them set to auto-hide mode?

- Michael