| commit | 9a97d08c161cc6e330ec61d849e35c5e2c6af8cc | |
| author | Andrew Borodin <aborodin@vmail.ru> | |
| Sat, 15 May 2010 07:18:56 +0000 (15 11:18 +0400) | ||
| committer | Andrew Borodin <aborodin@vmail.ru> | |
| Wed, 26 May 2010 05:59:03 +0000 (26 09:59 +0400) | ||
| tree | 9b5b638241376e1c065a851ef22ac2ef24ed2a0d | treesnapshot (tar.gz zip) |
| parent | 47495258205a66eb773abe8f2460b073f62bf4ca | commitdiff |
Ticket #2168: all hotkeys are in the lowercase now.
Hotkeys are already highlighted by the color; there is no any point
in using yet another attribute (uppercase) for emphasizing them
even more. Capitalizing a letter in the middle of a word looks ugly.
Signed-off-by: Andrew Borodin <aborodin@vmail.ru>
Hotkeys are already highlighted by the color; there is no any point
in using yet another attribute (uppercase) for emphasizing them
even more. Capitalizing a letter in the middle of a word looks ugly.
Signed-off-by: Andrew Borodin <aborodin@vmail.ru>