GNOME Bugzilla – Bug 300739
Panel stops autohiding
Last modified: 2005-04-16 07:10:51 UTC
Version details: 2.8.3, both Gentoo AND Fedora Core 3 Distribution/Version: Gentoo AND Fedora Core 3 I don't have a 100% reliable means to reproduce this, but... 1) Enable autohide on the main gnome panel 2) Use system for a while. Expected results: Panel should always autohide when it has not been moused-over or clicked on or had focus for the hide delay. Actual results: Sometimes, the panel will stop autohiding - nothing short of killing and restarting the process will make it autohide again (e.g. disabling and re-enabling autohide, activating manual hide & hiding the panel, switching virtual desktops, switching away from X and switching back)
AFAIK, the only problem left with auto-hide panels is bug #134563. *** This bug has been marked as a duplicate of 134563 ***