Florian Müllner 1899d502a9 workspace-indicator: Remove workspace names from prefs ...

Now that names can be changed from the extension itself, we no
longer need to expose them in the prefs dialog.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/405>

2025-06-17 17:02:11 +02:00

..

schemas

workspace-indicator: Make previews configurable

2024-04-24 14:23:22 +00:00

extension.js

workspace-indicator: Make previews configurable

2024-04-24 14:23:22 +00:00

meson.build

workspace-indicator: Split out workspaces prefs page

2024-10-16 14:36:32 +02:00

metadata.json.in

Update descriptions of extensions

2013-05-20 19:06:59 +02:00

prefs.js

extensions: Remove modelines

2024-10-20 22:23:28 +00:00

stylesheet-dark.css

workspace-indicator: Allow changing workspace names from menu

2025-06-17 17:02:11 +02:00

stylesheet-light.css

workspace-indicator: Allow changing workspace names from menu

2025-06-17 17:02:11 +02:00

workspaceIndicator.js

workspace-indicator: Allow changing workspace names from menu

2025-06-17 17:02:11 +02:00

workspacePrefs.js

workspace-indicator: Remove workspace names from prefs

2025-06-17 17:02:11 +02:00