isa/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

extensions-app: Use AdwPreferencesPage and AdwPreferencesGroup

Browse Source 
Give consistent styling and sizing to extensions lists.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1997>
This commit is contained in:
Romain Vigier
2021-10-18 15:18:11 +02:00
committed by Florian Müllner
parent 1359cedc00
commit ab5977713b
3 changed files with 26 additions and 63 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
subprojects/extensions-app/js/main.js
View File

@@ -74,10 +74,11 @@ var ExtensionsWindow = GObject.registerClass({
GTypeName: 'ExtensionsWindow',
Template: 'resource:///org/gnome/Extensions/ui/extensions-window.ui',
InternalChildren: [
'userGroup',
'userList',
'systemGroup',
'systemList',
'mainStack',
'scrolledWindow',
'searchBar',
'searchButton',
'searchEntry',
@@ -316,10 +317,10 @@ var ExtensionsWindow = GObject.registerClass({
}
_syncListVisibility() {
this._userList.visible = [...this._userList].length > 1;
this._systemList.visible = [...this._systemList].length > 1;
this._userGroup.visible = [...this._userList].length > 1;
this._systemGroup.visible = [...this._systemList].length > 1;
if (this._userList.visible || this._systemList.visible)
if (this._userGroup.visible || this._systemGroup.visible)
this._mainStack.visible_child_name = 'main';
else
this._mainStack.visible_child_name = 'placeholder';