From: nicolas bigeard <nico.bige...@gmail.com> > I know gnome shell is in early developpement stage, and the following or > similar may be implemented or not necessary. Anyway I think it's allready > quiet usable and nice to work with. But while using it I felt it could be > nice if : > After having clicked on the "Activities" button, one could change active > workspace using "tab" or the arrows, going then to the active workspace > using "Enter"..
This is similar to this bug: https://bugzilla.gnome.org/show_bug.cgi?id=587071 Anyway, I think that would be more useful a key navigation for the menus, instead of the workspaces you mention, but ideally, both would be great. BR === API (apinhe...@igalia.com) _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list
