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.
Collected from the Internet
Please contact [email protected] to delete if infringement.
Comments