gnome-shell-extensions

Files

Florian Müllner 6ed1f45ffd window-list: Use custom layout manager for thumbnails

The current code positions window previews explicitly using a fixed
layout manager. For that it relies on a valid parent allocation,
which is error-prone and frequently results in warnings.

Address this by moving the positioning code into a custom layout
manager, and only update the visibility from the window preview.

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

2020-10-21 03:09:45 +02:00

apps-menu

apps-menu: Stop using deprecated (child) properties

2020-01-09 20:13:11 +01:00

auto-move-windows

auto-move: Overhaul preference dialog

2020-05-03 19:51:24 +02:00

drive-menu

drive-menu: Emphasize eject buttons as distinct controls

2020-04-10 14:31:40 +00:00

horizontal-workspaces

cleanup: Fix stray/missing spaces