Florian Müllner 034408971d windowManager: Implement keybinding_filter hook
We are currently using a hack to allow a select set of keybindings
in the overview. Implement the new MetaPlugin keybinding_filter
hook, which provides a cleaner way to achieve the same.

https://bugzilla.gnome.org/show_bug.cgi?id=688202
2012-11-17 01:44:22 +01:00
..
2012-04-09 19:57:51 +02:00
2012-01-25 19:03:13 -05:00
2012-02-28 08:14:06 -05:00
2012-01-25 19:03:13 -05:00
2012-11-12 19:07:57 +01:00
2012-10-29 11:24:36 -04:00
2011-11-07 15:24:59 -05:00
2012-11-16 19:28:23 +01:00
2012-11-12 19:07:57 +01:00
2012-02-28 08:14:06 -05:00
2010-02-22 19:37:49 -05:00
2012-09-10 21:23:25 +02:00
2012-02-28 08:14:06 -05:00