On 12.02.2017, at 21:14, Stéphane Rollandin <lecteur at 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?