I've filed the following bug against mutter: https://bugzilla.gnome.org/show_bug.cgi?id=666513
I just wanted to get the opinion of other extension authors from this list. Have others tried to add their own keybindings in extensions yet? If so, are you concerned about colliding keybinding names across different schemas? My extension has 30 additional keybindings at this point, so it seems entirely likely that this could happen. If you are concerned, it'd be good to hear more voices on the linked bugzilla page. Right now the API _cannot_ work properly with multiple keybindings of the same name under different schemas, so it would require an API change to fix this - I'd much rather that happen _before_ 3.4 comes out. Cheers, - Tim. _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list
