Dash Hotkeys[1] is an extension that does that. I think there are other similar ones too (extensions.gnome.org)
[1]: https://extensions.gnome.org/extension/413/dash-hotkeys/ On 24 February 2014 09:50, <gao...@openmailbox.org> wrote: > Thanks for the reply! > > One other thing I desperately miss from Ubuntu is being able to use > keyboard shortcut Super+1-9 to switch between applications. Does GNOME have > a quick, fast way to switch between apps using keyboard other than ALT+TAB? > > In Ubuntu, I park all my fav apps in Ubuntu Launcher so I always know > their number by heart. Being able to use Super+1-9 in GNOME-Shell would be > so awesome! The apps that show in the Activities Side-Bar of GNOME-Shell > should correlate with Super+1-9 shortcut. > > Any chance GNOME-Shell could get this feature? It would make using > GNOME-Shell a lot more enjoyable & efficient for me. > > > > > On 2014-02-22 19:04, Florian Müllner wrote: > >> On Sat, Feb 22, 2014 at 11:54 PM, <gao...@openmailbox.org> wrote: >> >>> Can GNOME-Shell please adopt two features: >>> >>> 1) merge titlebars into the top-bar when windows are maximized. >>> >> >> The currently followed pattern for GNOME applications is to not use a >> separate titlebar, but merge it with the main toolbar. This should >> have the exact same space benefit for maximized windows (no additional >> vertical space used for the titlebar), but also have the same effect >> for non-maximized windows. >> For "old-style" windows with normal titlebars, there is no plan to >> merge decorations and top bar I'm afraid (and it has been suggested[0] >> several[1] times[2] already[3]), though the behavior can be >> implemented (and as far as I know has been) with extensions. >> >> >> >> 2) adopt global menus or Ubuntu's upcoming LIM app menus. >>> >> >> I'm afraid this is very unlikely to happen. In contrast to Ubuntu, >> GNOME is in no position of modifying any toolkits other than GTK+ - so >> even if we wanted to do this, it would not work for many apps >> (Firefox, LibreOffice, Skype, Eclipse, all KDE apps to name just a >> few). It is also worth noting that many applications are moving away >> from traditional menubars altogether - many GNOME applications use >> menu buttons nowadays, just as Chrome and Firefox have been doing for >> a while now. >> >> Looking at recent screenshots[4], I don't see much vertical space >> wasted - the titlebar has a fair bit of spacing, but still takes up >> less space than the tool- and menubar it replaces. So I'd hope that >> you would still at least give GNOME a try seeing how issues with >> vertical space are addressed, although differently than you suggest. >> >> >> Cheers, >> Florian >> >> >> [0] https://bugzilla.gnome.org/show_bug.cgi?id=619770 >> [1] https://bugzilla.gnome.org/show_bug.cgi?id=660226 >> [2] https://bugzilla.gnome.org/show_bug.cgi?id=695399 >> [3] https://bugzilla.gnome.org/show_bug.cgi?id=705649 >> [4] http://blogs.gnome.org/nacho/2014/01/15/gedit-has-a-new-face/ >> > _______________________________________________ > gnome-shell-list mailing list > gnome-shell-list@gnome.org > https://mail.gnome.org/mailman/listinfo/gnome-shell-list >
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
