4 ms·
I can't work without workspaces on a grid, but luckily there is a gnome shell plugin that works perfectly on 17.10 - https://extensions.gnome.org/extension/484/
by mcjiggerlog 9y ago
I can't work without workspaces on a grid, but luckily there is a gnome shell plugin that works perfectly on 17.10 - https://extensions.gnome.org/extension/484/workspace-grid/ https://extensions.gnome.org/extension/484/workspace-grid/
- fmoralesc 9y agoYou can configure gnome-shell to use static workspaces from the gnome-tweak-tool application as well.
- mcjiggerlog 9y agoAh yes - you'll want to set the number of spaces to static first.