It's probably worth remembering that menus
can be pinned up and left in a convenient place.
The only alternative to a global hot-key is the mouse. For example, to open the Monticello browser: 1) grab the mouse, start moving it upward and to the left 2) locate the ascending hand on the screen, aim for the "Tools" menu 3) click Tools 4) click Monticello This, any and every time one wishes to load/save packages, check dirty packages, revert methods, browse history, etc. With so many use cases, it adds up to a lot of time and repetition compared to simply pressing Cmd+Shift+O. On Sun, Feb 12, 2017 at 2:16 PM, Tobias Pape <Das.Linux@gmx.de> wrote:On 12.02.2017, at 21:14, Stéphane Rollandin <lecteur@zogotounga.net> wrote:My point is that global hot keys are not only scarce, every new one we introduce becomes a possible overload with applications that may wish to use those keys for something else. We should add new global hot keys only sparingly, for things that are accessed at least 10 times per day.Personally I don’t like global hot keys in any way shape or form.Same here.What's the alternative?