Source: gnome-shell-extension-workspace-bar
Section: gnome
Priority: optional
Maintainer: Norvi <apt@globalentry.systems>
Build-Depends: debhelper-compat (= 13)
Standards-Version: 4.7.2
Homepage: https://github.com/spencercnorton/workspace-bar
Rules-Requires-Root: no

Package: gnome-shell-extension-workspace-bar
Architecture: all
Depends:
 ${misc:Depends},
 gnome-shell (>= 50~),
 gnome-shell (<< 51~)
Description: GNOME Shell extension: named workspace buttons in the top bar
 Shows a button for every workspace in the top bar, in place of the
 Activities button, labelled with the workspace names from GNOME's own
 setting. Click a button or scroll anywhere on the top bar to switch
 workspace, and right-click to rename one. The active workspace is drawn in
 the accent colour, and empty workspaces are dimmed.
 .
 After installing, log out and back in once, then enable it with
 `gnome-extensions enable workspace-bar@spencercnorton.github.io`.
