Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Repository
gnome-shell-extensions
extensions
workspace-indicator
Makefile.am
Find file
Blame
History
Permalink
workspace-indicator: add preferences dialog
· 0bb2184e
Giovanni Campagna
authored
Feb 22, 2012
Add a simple pref dialog to configure workspace name, similar to the one available for GNOME 2.
0bb2184e