Workspace Name including?

[willosdalb]

Which is the part that i can include or edit it the workspace name? Like for example 1 (coding) current workspace

[MichaelAquilina]

Hello @willosdalb. What you are describing is not a feature currently available in this plugin. I can't promise I'll work on it any time soon due to real life commitments but feel free to give it a go and open a pull request if you want to give it a try!

[paddylandau]

@willosdalb — You can change workspace names in the configuration at org.gnome.desktop.wm.preferences > workspace-names. For example, if you have three workspaces, you can name them with this code:

['square apple', 'round rod', 'pink dandelion']

Do this either in the GUI with dconf-editor, or use the following CLI commands.

Set the names with this command:

gsettings set org.gnome.desktop.wm.preferences workspace-names "['square apple', 'round rod', 'pink dandelion']"

Read the names with this command:

gsettings get org.gnome.desktop.wm.preferences workspace-names

[paddylandau]

@MichaelAquilina — Thank you for your extension, which is well thought-out. I have my workspaces in a grid (using Workspace Matrix), which means that just a number doesn't help me. It would be hugely helpful to have an option to display the name instead of a number.

As a method already exists to create and read the workspace names (see my previous post), you wouldn't have to program it. All that you'd need to do is to read the list. If the list is empty (the default), or there are too few entries for all of the workspaces, excess workspaces would be assigned a number.

So, in my example above, if there were eight workspaces, they'd be named square apple, round rod, pink dandelion, 4, 5, 6, 7, 8.

I hope that I've explained this clearly.

This probably would be the easiest to program by far, while adhering to the spirit of the setting!

If I knew how to program these things, I'd help. Sorry that I can't.

If you do manage to find the time to do this (I realise that you're busy), I would be grateful indeed!

[willosdalb]

@willosdalb — You can change workspace names in the configuration at org.gnome.desktop.wm.preferences > workspace-names. For example, if you have three workspaces, you can name them with this code:

['square apple', 'round rod', 'pink dandelion']

Do this either in the GUI with dconf-editor, or use the following CLI commands.

Set the names with this command:

gsettings set org.gnome.desktop.wm.preferences workspace-names "['square apple', 'round rod', 'pink dandelion']"

Read the names with this command:

gsettings get org.gnome.desktop.wm.preferences workspace-names

Thank you!! I really appreciate the help. I will try what you suggested.

[MichaelAquilina]

Thank you very much for the information @paddylandau :)

I might try dabble with this if I find the free time but I cant make any promises.

The "hard" part is just finding the appropriate API to use because the gnome extension documentation is a bit hard to navigate. I'm sure the actual implementation will be easy

[paddylandau]

The "hard" part is just finding the appropriate API to use…

I wish that I could help!