On Thu, 2017-11-02 at 17:12 +0000, Jindřich Makovička wrote: > This fixes the following case: > > 1) Ctrl-Alt-2 for console is pressed > 2) console pops up and gets focus > 3) console receives the Ctrl-Alt-2 keypress event
Hmm, doesn't reproduce here. Also: why should the same event be delivered twice? Ignoring autorepeat events (as the patch does, but which the commit message doesn't mention) makes sense. But I still fail to see why we should limit hotkeys to the main window. cheers, Gerd
