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 98040 - Change <Alt>F1 to Alt + F1
Change <Alt>F1 to Alt + F1
Status: RESOLVED DUPLICATE of bug 99529
Product: gnome-control-center
Classification: Core
Component: [obsolete] Keybinding
2.0.x
Other Solaris
: Normal trivial
: ---
Assigned To: Control-Center Maintainers
Control-Center Maintainers
Depends on:
Blocks:
 
 
Reported: 2002-11-08 17:42 UTC by Eugene O'Connor
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: 2.0


Description Eugene O'Connor 2002-11-08 17:42:02 UTC 
Modifier key combinations in the Keyboard Shortcuts preference tool are
displayed as <Alt>F1. The GNOME stylesheets render key combinations as Alt
+ F1. 

Is it possible to render the key combinations in the Keyboard Shortcuts
preference tool in this way? Do the changes need to happen in
panel-global-config.schemas and metacity.schemas?
Comment 1 Andrew Sobala 2002-11-25 21:54:30 UTC 
*** This bug has been marked as a duplicate of 99529 ***