我为 GNOME安装了工作区网格扩展，它的作用就像一个魅力。
我想知道如何修改或删除工作区更改期间出现的工作区名称（我使用ctrl+ alt+arrow快捷方式）。我在扩展的配置菜单中找不到该选项，菜单中也没有gnome-tweaks。
gnome-tweaks
workspaces workspace-switcher gnome-shell-extension gnome-shell 18.04
18.04 ×1
gnome-shell ×1
gnome-shell-extension ×1
workspace-switcher ×1
workspaces ×1