GNOME Bugzilla – Bug 696907
menu items should be capitalized
Last modified: 2013-05-03 10:01:14 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
Created attachment 240167 [details] [review] fix Here's a fix. While I was at it I added missing keyboard mnemonics to the app menu.
I've gone ahead and pushed this. Closing.