Florian Müllner c33be29f56 workspace-indicator: Add tooltips to workspace thumbnails ...

When showing previews instead of the menu, the workspace names from
our preferences don't appear anywhere. Some users care strongly about
those, so expose them as tooltip on hover.

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

2021-01-20 23:58:13 +01:00

..

extension.js

workspace-indicator: Add tooltips to workspace thumbnails

2021-01-20 23:58:13 +01:00

meson.build

build: Support the meson build system

2017-12-01 17:41:04 +01:00

metadata.json.in

Update descriptions of extensions

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

prefs.js

workspace-indicator: Use Gtk.Button.icon_name property

2021-01-14 14:40:55 +01:00

stylesheet.css

workspace-indicator: Show previews in workspace switcher

2019-07-19 13:48:21 +02:00