After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 115099 - Enhance Tooltips to Show Workspace Names
Enhance Tooltips to Show Workspace Names
Status: RESOLVED DUPLICATE of bug 125644
Product: gnome-panel
Classification: Other
Component: workspace switcher
unspecified
Other All
: Normal enhancement
: ---
Assigned To: Panel Maintainers
Panel Maintainers
Depends on:
Blocks:
 
 
Reported: 2003-06-13 10:44 UTC by Steve Fosdick
Modified: 2005-01-03 19:04 UTC
See Also:
GNOME target: ---
GNOME version: Unversioned Enhancement



Description Steve Fosdick 2003-06-13 10:44:19 UTC
It would be useful to know the name of a workspace
before switching into it.  There is the feature to
have workspace names within the workspace switcher
but then it takes far to much space.  Would it be
possible to alter the tooltip for the workspace
switcher to depend on which workspace the mouse is
over and give the workspace name?
Comment 1 Vincent Untz 2005-01-03 19:04:53 UTC

*** This bug has been marked as a duplicate of 125644 ***