gnome-shell

History

Jonas Dreßler c1d3e304cb windowManager: Only allow top-drag gesture if focus window is fullscreen

The top drag gesture is not of any use if the topmost window is not
a fullscreen window and will only block events near the important top
screen edge (i.e. the panel). To fix this, only enable this gesture if
the focus window is a fullscreen window.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/552

2019-02-10 10:06:11 +01:00

extensionPrefs

cleanup: Use destructuring for imports from GI

2019-02-09 07:39:20 +01:00

gdm

cleanup: Use destructuring for imports from GI

2019-02-09 07:39:20 +01:00

misc

cleanup: Use destructuring for imports from GI

2019-02-09 07:39:20 +01:00

perf

cleanup: Use destructuring for imports from GI