@Florian I understand that design idea can evolve, but it would be nice anyway to let the user decide what is too complex for him :-) So please: when possible add without removing... @Bazon Interesting extensions, but I like separation without segregation :) Old behavior was perfect for me because it gives priority to windows in the same workspace, but if you need, you can select even apps in other workspaces.
Thank you very much. Donato On Fri, May 24, 2013 at 5:56 PM, Bazon Bloch <bazonbl...@arcor.de> wrote: > Am 24.05.2013 17:23, schrieb Florian Müllner: > > It is, but note that it refers to the aforementioned window switcher, >> not the (default) application switcher. The keybinding does show up in >> Settings (Settings->Keyboard->**Navigation->Switch windows), but >> unfortunately there is a bug when you try to reassign <Alt>Tab to it >> (gnome-control-center dealing poorly with >> multiple-shortcuts-per-action)**; the panel will work as expected if you >> unset the switch-applications key manually first: >> >> gsettings set org.gnome.desktop.wm.**keybindings switch-applications >> '[]' >> > @Florian Müllner: > Oh, you are aware of this bug, good to know. :-) > > > > @Donato Marrazzo: > Additionally, there is an extension making application-switching workspace > specific: > https://extensions.gnome.org/**extension/310/alt-tab-**workspace/<https://extensions.gnome.org/extension/310/alt-tab-workspace/> > > (and if you like workspace separation, you may like as well: > https://extensions.gnome.org/**extension/440/workspace-** > separation-on-dash/<https://extensions.gnome.org/extension/440/workspace-separation-on-dash/>) > > cheers > Bazon > > > > > ______________________________**_________________ >> gnome-shell-list mailing list >> gnome-shell-list@gnome.org >> https://mail.gnome.org/**mailman/listinfo/gnome-shell-**list<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<https://mail.gnome.org/mailman/listinfo/gnome-shell-list> > -- Ciao* Donato* <http://it.linkedin.com/in/donatomarrazzo>
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
