【文件属性】：
文件名称：gnome-shell-extension-workspace-buttons:Gnome Shell扩展，用于在面板上切换工作区
文件大小：27KB
文件格式：ZIP
更新时间：2021-05-09 20:28:25
JavaScript
不推荐使用：该存储库已弃用，并移至
工作区按钮
这是一个GNOME Shell扩展，用于切换面板上的，它基于我的分支，该分支本身是从派生的。 该扩展至少需要GNOME 3.24，因为它使用了简写函数/方法声明和模板文字（反引号）。
此扩展的主要区别在于，它为每个工作区按钮使用PanelMenu.Button对象。 这些按钮中的每一个都有一个菜单，其中包含工作区中的窗口列表，使您可以激活应用程序（贷记到以获取一些代码和想法）。 如果已切换到给定的工作空间，则按钮也允许切换到给定的工作空间（根据喜好在“主要”按钮和“次要”按钮之间进行选择）。
尽管保留了WorkspaceBar扩展程序的大多数功能，但某些内容已删除。 有关详细信息，请参见下文。 新增加的一项功能是可以通过首选项在各种状态（紧急/悬停/活动/不活动/空）中调整用于工作区标签的颜色。
这就是使用当前样式选择时工作区按钮的外观
【文件预览】：
gnome-shell-extension-workspace-buttons-master
----LICENSE.md(18KB)
----README.md(6KB)
----workspace-buttons@carmanaught.github.com()
--------metadata.json(667B)
--------extension.js(29KB)
--------schemas()
--------convenience.js(2KB)
--------prefs.js(36KB)
--------stylesheet.css(227B)