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 696907 - menu items should be capitalized
menu items should be capitalized
Status: RESOLVED FIXED
Product: devhelp
Classification: Applications
Component: General
git master
Other Linux
: Normal minor
: ---
Assigned To: devhelp-maint
devhelp-maint
Depends on:
Blocks:
 
 
Reported: 2013-03-30 13:17 UTC by Adam Dingle
Modified: 2013-05-03 10:01 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
fix (2.52 KB, patch)
2013-03-30 13:32 UTC, Adam Dingle
none Details | Review

Description Adam Dingle 2013-03-30 13:17:37 UTC
According to the GNOME interface guidelines, menu items should use header capitalization, i.e. all but short words are capitalized.  So we should fix the capitalization of these menu items in Devhelp:

- New window
- Larger text
- Smaller text
- Normal size
Comment 1 Adam Dingle 2013-03-30 13:32:19 UTC
Created attachment 240167 [details] [review]
fix

Here's a fix.  While I was at it I added missing keyboard mnemonics to the app menu.
Comment 2 Adam Dingle 2013-05-03 10:01:14 UTC
I've gone ahead and pushed this.  Closing.