Update of bug #13545 (project gnustep):
Severity: 3 - Normal => 1 - Wish
Status: None => Postponed
Assigned to: None => esersale
_______________________________________________________
Follow-up Comment #1:
Note that the autohide works only if the desktop is visible (Tools->Show
Desktop) because it is based on enter and exit mouse events in the desktop
view. When it doesn't behave as expected it is because, moving the mouse too
fast, an event is lost.
Anyway, you can show or hide the shelf from Tools->Tabbed Shelf->Show/Hide
Tabbed Shelf.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=13545>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-gnustep mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-gnustep
