Files
gnome-shell-extensions/extensions
Giovanni Campagna 1d22e73a44 alternate-tab: update for mutter API change
Main.wm.setKeybindingHandler has been replaced by
Meta.keybindings_set_custom_handler, which has also a different
signature.
2011-11-22 09:11:22 +01:00
..