Files
gnome-shell-extensions/extensions
Florian Müllner d4ca2aeeb5 extension: Reuse original handler in keyPressHandler injection
We do need to inject our own handler to treat application-switch
actions the same way as the corresponding window-switch ones;
we can actually express exactly this without re-implementing the
entire function, by calling the original handler with a tweaked
action parameter - the resulting code is not only more concise,
but should also be a bit more robust against changes in core.

https://bugzilla.gnome.org/show_bug.cgi?id=737457
2014-09-29 15:32:02 +02:00
..
2014-05-28 01:27:37 +02:00