From 7d581c156106f92074b33c0c644daf518aecd6a1 Mon Sep 17 00:00:00 2001 From: Aleksander Date: Thu, 27 Nov 2025 23:28:10 +0100 Subject: [PATCH] dash-frontend: popup manager --- dash-frontend/assets/gui/dashboard.xml | 4 + .../assets/gui/view/app_launcher.xml | 7 ++ .../assets/gui/view/popup_window.xml | 45 +++++++ dash-frontend/src/frontend.rs | 45 +++++-- dash-frontend/src/lib.rs | 1 + dash-frontend/src/tab/apps.rs | 14 ++- dash-frontend/src/tab/mod.rs | 3 +- dash-frontend/src/util/desktop_finder.rs | 2 +- dash-frontend/src/util/mod.rs | 1 + dash-frontend/src/util/popup_manager.rs | 110 ++++++++++++++++++ dash-frontend/src/views/app_launcher.rs | 39 +++++++ dash-frontend/src/views/mod.rs | 1 + 12 files changed, 259 insertions(+), 13 deletions(-) create mode 100644 dash-frontend/assets/gui/view/app_launcher.xml create mode 100644 dash-frontend/assets/gui/view/popup_window.xml create mode 100644 dash-frontend/src/util/popup_manager.rs create mode 100644 dash-frontend/src/views/app_launcher.rs create mode 100644 dash-frontend/src/views/mod.rs diff --git a/dash-frontend/assets/gui/dashboard.xml b/dash-frontend/assets/gui/dashboard.xml index 9a46400..59b624f 100644 --- a/dash-frontend/assets/gui/dashboard.xml +++ b/dash-frontend/assets/gui/dashboard.xml @@ -80,6 +80,7 @@ +
+ +