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. ;-)
On 2/12/17 6:58 PM, Chris Muller wrote:
The only alternative to a global hot-key is the mouse.
For example, to open the Monticello browser:
- grab the mouse, start moving it upward and to the left
- locate the ascending hand on the screen, aim for the "Tools" menu
- click Tools
- 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?