gnome-shell-extensions

Files

Florian Müllner 9db7b96f24 window-list: Modernize preference dialog a bit

The current widget uses UI patterns that are reminiscent of GNOME 2.
It doesn't take a lot to make it look more modern: Simply giving the
radio group a distinct background and border allows us to move the
whole UI to the center, making the dialog more balanced and visually
pleasing.

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/121

2020-05-03 19:51:24 +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