[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #13545] unreliable TabbedShelf operation
|
From: |
Enrico Sersale |
|
Subject: |
[bug #13545] unreliable TabbedShelf operation |
|
Date: |
Mon, 27 Jun 2005 10:58:24 +0000 |
|
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 |
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/