https://github.com/tty2/horizontal-workspace-indicator

Gnome shell extension. Simple workspace indicator for horizontal layout.
https://github.com/tty2/horizontal-workspace-indicator

gnome gnome-shell-extension workspace-indicator workspaces

Last synced: about 1 month ago
JSON representation

Gnome shell extension. Simple workspace indicator for horizontal layout.

• Host: GitHub
• URL: https://github.com/tty2/horizontal-workspace-indicator
• Owner: tty2
• License: mit
• Archived: true
• Created: 2020-12-20T12:28:20.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2023-09-17T20:07:51.000Z (about 1 year ago)
• Last Synced: 2024-06-21T17:10:04.437Z (3 months ago)
• Topics: gnome, gnome-shell-extension, workspace-indicator, workspaces
• Language: JavaScript
• Homepage: https://extensions.gnome.org/extension/3952/workspace-indicator/
• Size: 74.2 KB
• Stars: 28
• Watchers: 2
• Forks: 4
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-starred - tty2/horizontal-workspace-indicator - Gnome shell extension. Simple workspace indicator for horizontal layout. (others)

README

        
With gnome 45 the gnome community get a new awesome builtin workspace switcher. This extension does not have any reason to exist.

# Workspace indicator 

[](https://extensions.gnome.org/extension/3952/workspace-indicator/)

Horizontal workspace indicator shows the amount of opened workspaces and highlights the current one using unicode characters.

You can use it as an indicator only but widget is clickable. Left button click: move to left, right click: move right. Middle click calls overview.

## Compatibility

This extension is written for Wayland. 

## How it looks like

Example with for opened workspaces where the second one is current:

Circle symbols:

    ○●○○

Line symbols:

    ǀ┃ǀǀ

Screenshot with the same situation:

![screenshot](assets/screenshot.png)

Three dots on the left side of the top bar.

## Known issues

1. If your indicator looks different from one on screen shot, install DejaVu Sans or Ubuntu font.

2. There could be an error with the extension after update. The solution is to logout and login again.