Adds task icons grouped by workspace to the panel.
git clone https://github.com/tttom64/gnome-shell-extension-task-icons ~/.local/share/gnome-shell/extensions/taskicons@tttom64.github.com
gnome-shell-extension-tool -e taskicons@tttom64.github.com
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Adds task icons grouped by workspace to the panel.
git clone https://github.com/tttom64/gnome-shell-extension-task-icons ~/.local/share/gnome-shell/extensions/taskicons@tttom64.github.com
gnome-shell-extension-tool -e taskicons@tttom64.github.com