Florian Müllner db85e7084c extensionPrefs: Scroll with key focus ... Currently when the extensions list is scrolled, it is possible to keynav out of view, as the scrolling doesn't follow the key focus. Hook up the adjustment to fix that. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968		2020-02-03 19:03:19 +01:00
..
ui	extensionPrefs: Scroll with key focus	2020-02-03 19:03:19 +01:00
main.js	extensionPrefs: Scroll with key focus	2020-02-03 19:03:19 +01:00