更好的工作空间切换指示 Linux Mint

Question

有没有办法安装一个更好的指示器来指示我在 Linux Mint 中更改了工作空间？例如，目前我在屏幕中央看到文字Workspace 1，说Workspace 2，等等。有没有办法获得看起来像这样的东西或我更习惯的工作区切换器：

Answer 1

现在到了 2023 年，我找到了它： https://cinnamon-spices.linuxmint.com/applets/view/222（“工作区名称”）。

要编辑名称，我知道需要编辑 dconf 数据库。但是，为了在面板名称上显示，我编辑了 javascript：

let name = 'ws-'+ (activeWorkspace.index()+1); //Main.getWorkspaceName(activeWorkspace.index());