2017-02-09 5:57 GMT+09:00 Zhen-Huan Hu <[email protected]>: > Not that it really matters but the capitalizations of some menu items are > rather inconsistent. Here is a small patch for the capitalization. >
Zhen-Huan Hu, This is a daunting task for non-experts like me :) While I notice that propositions and conjunctions are not usually capitalized (e.g., "Add to Reading List" and "Paste and Match Style"), I cannot explain why we have "Save As..." on the File menu pane. In addition, as an issue specific to Vim, we probably need to take this into account as well: Some common words on the menus are actually related to the commands or notions of Vim (e.g., tag, lines, languages, etc.). When this is the case, it could be debatable if capitalization is appropriate. So it's hard for me to say what is right or wrong on your patch. How about reading https://developer.gnome.org/hig/stable/writing-style.html.en or documents written for other desktop environments on capitalization, and reviewing the changes you're proposing for yourself? That could be helpful both to write follow-ups to make the case for your patch or to update it better if necessary. Regards, Kazunobu Kuriyama > > -- > -- > You received this message from the "vim_dev" maillist. > Do not top-post! Type your reply below the text you are replying to. > For more information, visit http://www.vim.org/maillist.php > > --- > You received this message because you are subscribed to the Google Groups > "vim_dev" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
