Of course, if it is important enough to assign and remember a hot key, then it might also be important enough to make a simple button somewhere. Or have a Monticello browser in a tab. Or add it to the World menu. Or use the personal World menu. Seems like there are many ways. Some more opaque than others. ;-)

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?