On dom, 2011-07-03 at 19:07 +0200, privacy wrote: > I have written an extension for selecting windows in overview mode with > arrow keys [...]
This shouldn't be an extension, see this bug report[0]. Florian [0] https://bugzilla.gnome.org/show_bug.cgi?id=644306 _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list
