Florian Müllner a5343c33ec window-list: 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>
(cherry picked from commit 071584621e)

2023-12-01 20:03:15 +01:00

..

extension.js

window-list: Complete move to connectObject()

2023-10-09 15:36:39 +02:00

meson.build

Make project compatible with Reuse Software spec

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

metadata.json.in

meta: Update description note for reporting bugs

2017-12-01 21:04:02 +01:00

org.gnome.shell.extensions.window-list.gschema.xml

Make project compatible with Reuse Software spec

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

prefs.js

Make project compatible with Reuse Software spec

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

stylesheet-dark.css

window-list: Move additional padding into buttons

2023-12-01 20:02:51 +01:00

stylesheet-light.css

window-list: Move additional padding into buttons

2023-12-01 20:02:51 +01:00

windowPicker.js

Make project compatible with Reuse Software spec

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

workspaceIndicator.js

window-list: Update visibility on window-type changes

2023-12-01 20:03:15 +01:00