Adds task icons grouped by workspace to the panel.
Default
workspace-numbers-position=0
panel-box='_centerBox'
workspaces-before-active-position=1
workspaces-after-active-position=2
active-workspace-position=nothing
Install from here, or use the command gdbus call --session --dest org.gnome.Shell --object-path /org/gnome/Shell --method org.gnome.Shell.Extensions.InstallRemoteExtension "'[email protected]'"
git clone https://github.com/rliang/gnome-shell-extension-task-icons ~/.local/share/gnome-shell/extensions/[email protected]
gnome-shell-extension-tool -e [email protected]