On Fri, 2013-02-22 at 15:16 +0100, Florian Müllner wrote: > On Feb 22, 2013 3:13 PM, "Adam Tauno Williams" > <awill...@whitemice.org> wrote: > > BTW, is there a hotkey bound to the current applications AppMenu? > That > > would make it somewhat less silly. > <super>f10
Ah! Nice, thanks. Now I can pop the menu and navigate it with the old arrow yes. -- Adam Tauno Williams GPG D95ED383 Systems Administrator, Python Developer, LPI / NCLA _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
