On Wed, Apr 10, 2013 at 7:21 PM, Jason Heeris <jason.hee...@gmail.com>wrote:
> Not quite an answer, but you might be interested in the Window > Navigator extension: > > https://extensions.gnome.org/extension/10/windownavigator/ > > It lets you select windows from the overlay using Alt+[Num]. > > Thanks for the pointer So am I right in assuming that this was intentionally done? Thanks! Dhaval
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
