From 84d4fb7cc2617bb865942eace70143e34d09e471 Mon Sep 17 00:00:00 2001 From: Aleksander Date: Sun, 11 Jan 2026 14:41:09 +0100 Subject: [PATCH] Tabbed settings (Closes #355) --- dash-frontend/assets/gui/tab/settings.xml | 22 +- dash-frontend/src/tab/apps.rs | 2 +- dash-frontend/src/tab/settings.rs | 362 +++++++++++++-------- dash-frontend/src/util/popup_manager.rs | 2 +- dash-frontend/src/views/audio_settings.rs | 10 +- dash-frontend/src/views/game_list.rs | 2 +- dash-frontend/src/views/process_list.rs | 2 +- dash-frontend/src/views/window_list.rs | 12 +- uidev/src/testbed/testbed_generic.rs | 8 +- wgui/src/components/button.rs | 29 +- wgui/src/components/checkbox.rs | 1 - wgui/src/components/mod.rs | 1 + wgui/src/components/slider.rs | 1 - wgui/src/components/tabs.rs | 176 ++++++++++ wgui/src/components/tooltip.rs | 1 - wgui/src/event.rs | 5 + wgui/src/layout.rs | 6 + wgui/src/lib.rs | 3 +- wgui/src/parser/component_button.rs | 11 +- wgui/src/parser/component_tabs.rs | 71 ++++ wgui/src/parser/mod.rs | 34 ++ wgui/src/parser/style.rs | 1 - wgui/src/parser/widget_image.rs | 13 +- wgui/src/parser/widget_sprite.rs | 13 +- wgui/src/renderer_vk/text/text_renderer.rs | 2 - wgui/src/task.rs | 2 +- wgui/src/windowing/window.rs | 3 +- 27 files changed, 578 insertions(+), 217 deletions(-) create mode 100644 wgui/src/components/tabs.rs create mode 100644 wgui/src/parser/component_tabs.rs diff --git a/dash-frontend/assets/gui/tab/settings.xml b/dash-frontend/assets/gui/tab/settings.xml index 818cb218..7c442b70 100644 --- a/dash-frontend/assets/gui/tab/settings.xml +++ b/dash-frontend/assets/gui/tab/settings.xml @@ -28,7 +28,7 @@