bubnikv dabcff1c07 When testing for a key press, rather check for the modifier keys
(alt, ctrl) always. Also if a key event is not processed, pass it
for further processing.
2017-06-06 19:14:52 +02:00
..
2015-07-02 14:29:20 +02:00
2017-05-12 11:31:54 +02:00
2014-11-15 23:06:15 +01:00
2015-01-15 18:49:07 +01:00