我想在顶部栏上有一个像 Ubuntu MATE 这样的工作区切换器。有什么建议？
workspaces workspace-switcher gnome-shell
gnome-shell ×1
workspace-switcher ×1
workspaces ×1