Workspace Names Updater

UUID: workspace-names-updater@workspace-manager.gitlab.io
Last edited:
6 months ago 2019-06-05, 10:38 UTC
Last commit: [4574877c] workspace-names-updater@workspace-manager.gitlab.io: Initial Commit (#214)

Adds support for realtime updating of workspace names once dconf settings change.

README

Close

Workspace Names Updater

This extension adds real time updating of workspace names, once they're changed in dconf. This allows external programs to change workspace names without restarting the entire DE for the changes to apply.

This extension was built to work with Workspace Manager. Find out more here: https://gitlab.com/workspace-manager/workspace-manager

This software is, has been and will always be open source and free, to use, modify or share, and is licensed under GPL3+.

Credits

The icon used comes from the "Workspace Grid for Cinnamon" extension, created by Damien Whitten (damien@rebase.com.au). The extension's homepage is here

Installation

Extract the repo to ~/.local/share/cinnamon/extensions and enable from settings

Log In To Comment!

0 Comments