Ask Ubuntu is a question and answer site for Ubuntu users and developers. It only takes a minute to sign up.
Sign up to join this community
I installed the workspace grid extension for GNOME, which works like a charm.
I wonder how can I modify or get rid of the workspaces names which appear during the workspace changes (I use the ctrl+alt+arrow shortcuts). I could not find the option in the config menu of the extension, neither in the gnome-tweaks menu.
Use dconf (dconf-editor) to edit the /org/gnome/desktop/wm/preferences/workspace-names...
' ' as a name for each of the workspaces does actually keep the pop-up, and gets rid of the names, which was precisely my goal.
– m.raynal
Sep 24 '18 at 9:06
The easiest way to rename your workspaces is to install the (official) gnome extension Workspace Indicator. Through its configuration settings (you can access these in Gnome Tweaks), you can provide custom names for the workspaces. Just turn the extension off when done renaming if you do not want the workspace indicator in your panel.
In the body of your post, you mention you may want to get rid of the names altogether. That effect can be achieved by setting the name to a single space in Workspace Indicator.
As a bonus tip, perhaps you like an entire clean approach where no popup at all appears when you switch workspaces using the keyboard. To achieve that, install the Disable workspace switcher popup extension.
