No, it's because it's a fairly difficult problem, and nobody has tried to fix it. I'm hoping to land this for 3.10 as a feature.
On Wed, Apr 10, 2013 at 10:56 PM, Dhaval Giani <dhaval.gi...@gmail.com>wrote: > > > > 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 > > -- Jasper
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
