Florian Müllner 30a15387b5 workspace-indicator: Update visibility on window-type changes ...

The visibility depends on the type, so we should listen for
changes (even if the property is unlikely to change).

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

2023-12-01 19:14:26 +01:00

..

extension.js

workspace-indicator: Update visibility on window-type changes

2023-12-01 19:14:26 +01:00

meson.build

Make project compatible with Reuse Software spec

2023-08-17 11:51:48 +00:00

metadata.json.in

Update descriptions of extensions

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

prefs.js

Make project compatible with Reuse Software spec

2023-08-17 11:51:48 +00:00

stylesheet.css

Make project compatible with Reuse Software spec

2023-08-17 11:51:48 +00:00