On 12.02.2017, at 20:04, tim Rowledge <tim at rowledge.org> wrote:

> 
>> On 10-02-2017, at 2:47 PM, Chris Muller <ma.chris.m at gmail.com> 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.

Well, but we won't do without them either, right?