I nominated this for the one hundred paper cuts project.
When I first heard about the project, this was the bug I instantly was
reminded of: it's bugged and annoyed me for well over three releases now
and it still isn't fixed. I want to rely on gnome panel autohiding, but
this way it is impossible
** Also affects: hundredpapercuts
Importance: Undecided
Status: New
--
gnome-panel autohides inconsistently
https://bugs.launchpad.net/bugs/82504
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is a bug assignee.
--
desktop-bugs mailing list
d