micheleg / dash-to-dock

A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
https://micheleg.github.io/dash-to-dock/
GNU General Public License v2.0
3.83k stars 464 forks source link

make "all/current workspace" option independent between app switcher (super+tab) and dock #2067

Open cryhot opened 11 months ago

cryhot commented 11 months ago

Ubuntu 22.04 with GNOME 42.9 here,

Currently, the following setting in gnome-control-center multitasking controls both org.gnome.shell.app-switcher current-workspace-only and org.gnome.shell.extensions.dash-to-dock isolate-workspaces settings synchronously. Screenshot from 2023-08-11 16-12-10

More complex combinations (setting one to true and the other one to false) is currently only possible by manually editing the dconf database, and will be reset on opening gnome-control-center multitasking later.

This combination works as one would expect:

gsettings set org.gnome.shell.app-switcher current-workspace-only false
gsettings set org.gnome.shell.extensions.dash-to-dock isolate-workspaces true

However, this one (the combination I am actually interested in) does not work as wished (the dock still shows apps on the current workspace only, despite being asked to consider all workspaces):

gsettings set org.gnome.shell.app-switcher current-workspace-only true
gsettings set org.gnome.shell.extensions.dash-to-dock isolate-workspaces false

I was originally using the default Ubuntu Dock, so I installed Dash to Dock itself. The isolate-workspaces option still has the same problems as before. It even seems that the option is deliberately not made to work independently from the app switcher... Why? image

One solution might be to just have two settings instead of one in gnome-control-center. Otherwise, could you at least