The uppercase letters can be used to express a menu choice without using the mouse. E.g. <ALT>mt does "Modify, Select All"
...contacting the maintainer could have helped. Antonio On Sun, Dec 16, 2018 at 6:22 PM Diego Marino <[email protected]> wrote: > Fixed typos. > It appears you have made all the shorcut keys lowercase. They were > uppercase for a reason. > … <#m_-7634097560847384827_> > -- If they don't keep on exercising their lips, he thought, their brains > start working. -- Douglas Adams, "The Hitchhiker's Guide to the Galaxy" /// > Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\ /// > sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\ \\ an > exciting new programming language -- http://www.Zimbu.org /// \\ help me > help AIDS victims -- http://ICCF-Holland.org /// > > I'm sorry, which is? I didn't find any issue using them like this. > > — > You are receiving this because you are subscribed to this thread. > Reply to this email directly, view it on GitHub > <https://github.com/vim/vim/pull/3693#issuecomment-447660336> > > -- > -- > 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. > -- /||\ | Antonio Colombo / || \ | [email protected] / () \ | [email protected] (___||___) | [email protected] -- -- 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.
