修改 Workspace 数量
Ubuntu Workspaces: Enabling, Creating, & Switching | Liquid Web
# for Ubuntu 23.10
Settings / Multitasking / Workspaces
修改 Workspace 名称
Shortcut to rename workspace in Gnome
1）在某些扩展中可能包含修改 Workspace 的方法，但是
2）可以通过 dconf-editor 工具，搜索 workspace-names 关键字，参数类型是字符串数组，形如 [‘W1’, ‘W3’, ‘W4’] 格式。