diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js index 55172fb54..74292957e 100644 --- a/js/extensionPrefs/main.js +++ b/js/extensionPrefs/main.js @@ -70,7 +70,9 @@ var ExtensionsWindow = GObject.registerClass({ InternalChildren: [ 'extensionsList', 'killSwitch', + 'mainBox', 'mainStack', + 'scrolledWindow', ], }, class ExtensionsWindow extends Gtk.ApplicationWindow { _init(params) { @@ -80,6 +82,8 @@ var ExtensionsWindow = GObject.registerClass({ this._loaded = false; this._prefsDialog = null; + this._mainBox.set_focus_vadjustment(this._scrolledWindow.vadjustment); + this._settings = new Gio.Settings({ schema_id: 'org.gnome.shell' }); this._settings.bind('disable-user-extensions', this._killSwitch, 'active', diff --git a/js/extensionPrefs/ui/extensions-window.ui b/js/extensionPrefs/ui/extensions-window.ui index 8c235f4a0..7305a03ee 100644 --- a/js/extensionPrefs/ui/extensions-window.ui +++ b/js/extensionPrefs/ui/extensions-window.ui @@ -25,14 +25,14 @@ True crossfade - + True never True - + True vertical center