Made the settings menu significantly more responsive. (#454)

This commit is contained in:
Jas Singh
2024-11-07 21:35:49 -08:00
committed by GitHub
parent dbd932941b
commit d5f112e418
3 changed files with 106 additions and 108 deletions

View File

@@ -39,33 +39,33 @@ const PageContainer = (): GBox => {
hpack: 'fill',
hexpand: true,
vertical: true,
children: CurrentPage.bind('value').as((v) => {
return [
Widget.Box({
class_name: 'option-pages-container',
hpack: 'center',
hexpand: true,
children: pagerMap.map((page) => {
return Widget.Button({
xalign: 0,
hpack: 'center',
class_name: `pager-button ${v === page ? 'active' : ''} category`,
label: page,
on_primary_click: () => (CurrentPage.value = page),
});
}),
children: [
Widget.Box({
class_name: 'option-pages-container',
hpack: 'center',
hexpand: true,
children: pagerMap.map((page) => {
return Widget.Button({
xalign: 0,
hpack: 'center',
class_name: CurrentPage.bind('value').as(
(v) => `pager-button ${v === page ? 'active' : ''} category`,
),
label: page,
on_primary_click: () => (CurrentPage.value = page),
});
}),
Widget.Stack({
vexpand: false,
class_name: 'themes-menu-stack',
children: {
Configuration: SettingsMenu(),
Theming: ThemesMenu(),
},
shown: CurrentPage.bind('value'),
}),
];
}),
}),
Widget.Stack({
vexpand: false,
class_name: 'themes-menu-stack',
children: {
Configuration: SettingsMenu(),
Theming: ThemesMenu(),
},
shown: CurrentPage.bind('value'),
}),
],
});
};