Florian Müllner cf3690a434 windowsNavigator: Adjust to gnome-shell changes ...

Unsurprisingly, the big overview changes in gnome-shell broke the
extension. Make the necessary adjustments to get it working again:
 - changed constructor parameters for Workspace/WorkspacesView
 - overall state handling done by adjustment
 - window preview layout changes

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/296

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

2021-03-10 15:28:37 +00:00

..

extension.js

windowsNavigator: Adjust to gnome-shell changes

2021-03-10 15:28:37 +00: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

stylesheet.css

windowsNavigator: improve the appearance of tooltips

2012-02-06 21:18:39 +01:00