Gnome Extensions

2020-01-10 20:07:00 +0000 ubuntu ubuntu-install

I installed the following extensions:

Windows-style taskbar

“Dash to panel” and “Dash to dock” aren’t quite the same size, but I’ll live with it.

Update, about 20 minutes later

The newest version (26, on of Dash to panel is much improved. I’ve disabled “Dash to dock” and I’m experimenting with it. Note that you need to restart Gnome Shell (Alt+F2, r) in order to turn on the “Display panels on all monitors” setting.

I installed it by following these instructions:, but with gnome-shell-extension-tool -r at the end.