工作区网格扩展：如何重命名或删除工作区名称？
m.r*_*nal 2 workspaces workspace-switcher gnome-shell-extension gnome-shell 18.04
我为 GNOME安装了工作区网格扩展，它的作用就像一个魅力。
我想知道如何修改或删除工作区更改期间出现的工作区名称（我使用ctrl+ alt+arrow快捷方式）。我在扩展的配置菜单中找不到该选项，菜单中也没有gnome-tweaks。
| 归档时间： |
|
| 查看次数： |
3356 次 |
| 最近记录： |