<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p><font face="Georgia">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. ;-)</font><br>
</p>
<br>
<div class="moz-cite-prefix">On 2/12/17 6:58 PM, Chris Muller wrote:<br>
</div>
<blockquote
cite="mid:CANzdToGCxr9ZiaRWBRx=LDDdo+Q2JW+HjNHi1Kdk5nrXbbTh_Q@mail.gmail.com"
type="cite">
<pre wrap="">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 <a class="moz-txt-link-rfc2396E" href="mailto:Das.Linux@gmx.de"><Das.Linux@gmx.de></a> wrote:
</pre>
<blockquote type="cite">
<pre wrap="">
On 12.02.2017, at 21:14, Stéphane Rollandin <a class="moz-txt-link-rfc2396E" href="mailto:lecteur@zogotounga.net"><lecteur@zogotounga.net></a> wrote:
</pre>
<blockquote type="cite">
<blockquote type="cite">
<blockquote type="cite">
<pre wrap="">
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.
</pre>
</blockquote>
<pre wrap="">
Personally I don’t like global hot keys in any way shape or form.
</pre>
</blockquote>
<pre wrap="">
Same here.
</pre>
</blockquote>
<pre wrap="">
What's the alternative?
</pre>
</blockquote>
<pre wrap="">
</pre>
</blockquote>
<br>
</body>
</html>