Martin Zurowietz

Window cannot be moved more than one workspace when popup is open

2

If I move a window to another workspace with Ctrl+Alt+Shift+Arrow and then want to move it further while the switcher popup is open, I get: ``` JS ERROR: TypeError: window...

Only use "enable hover" option for the Ctrl+W popup

4

The popup disappears even though the mouse is still moving over it (with the "enable hover" option in the settings activated).

Overview breaks if extension is disabled

3

The overview seems to break if the extension is disabled and the overview override was enabled.

Fix reset/destroy of workspace thumbnails in overview

1

The workspace thumbnails in the overview are not reset if the extension is disabled, then enabled again and then "Show workspace grid in overview" is switched off. They still show...

Fix style of popup if thumbnails are disabled

4

The switcher popup without thumbnails should have the same style/look than the default switcher popup.

> I am using dual monitor, with the setting "Multi-monitor: Workspaces on all displays". When accessing the overview, I can only switch workspaces when I use the mouse in my...

Use imported properties again

1

Enable `secondaryMonitorDisplayOverride` in `overviewManager.js` again once this is resolved and released: https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2266

If I open the overview with Super while having selected one window from my secondary monitor, then immediately leave the overview, I get: ``` JS ERROR: TypeError: windowInfo is undefined...

Fix padding of workspace thumbnails in overview

1

The workspace thumbnails in the overview should have vertical padding (same as horizontal). Maybe related to #177

Fix workspace thumbnails box size in overview

10

The container box of the workspace thumbnails has the wrong height. This cuts off mouse events for all thumbnails but those in the first row. Effects: - You can switch...