I support eros on his observation about hardy.
I use a small panel at the top right-hand corner of my desktop and a few drawers to hold my apps.
This used to be a very nice way to ensure the panel autohides on feisty and gutsy. (I still had a few instances in ANOTHER panel that would not autohide due to Tomboy)
Now, on hardy, the panel hides inconsistently, and I find myself having to "killall gnome-panel" quite a few times to force it to hide...
There are no entry boxes in the panel, just drawers to program icons, so I don't see why it won't hide anymore.
The OTHER panel that was behaving badly has been removed, so it is not to blame for the inconsistency.
I support eros on his observation about hardy.
I use a small panel at the top right-hand corner of my desktop and a few drawers to hold my apps.
This used to be a very nice way to ensure the panel autohides on feisty and gutsy. (I still had a few instances in ANOTHER panel that would not autohide due to Tomboy)
Now, on hardy, the panel hides inconsistently, and I find myself having to "killall gnome-panel" quite a few times to force it to hide...
There are no entry boxes in the panel, just drawers to program icons, so I don't see why it won't hide anymore.
The OTHER panel that was behaving badly has been removed, so it is not to blame for the inconsistency.