From 08121423591881fbbefa9fead4d3178dbc8bcafa Mon Sep 17 00:00:00 2001 From: lenn Date: Tue, 26 May 2026 14:33:51 +0800 Subject: [PATCH] Fix HUD window controls --- src-tauri/src/commands/window.rs | 4 ++-- src/lib/components/HudPanel.svelte | 2 ++ src/routes/+page.svelte | 10 ++-------- 3 files changed, 6 insertions(+), 10 deletions(-) diff --git a/src-tauri/src/commands/window.rs b/src-tauri/src/commands/window.rs index e38c959..c4221d2 100644 --- a/src-tauri/src/commands/window.rs +++ b/src-tauri/src/commands/window.rs @@ -35,6 +35,6 @@ pub async fn win_close( .await .map_err(|error| error.to_string())?; - app.exit(0); - Ok(()) + main_window(&app)?.close().map_err(|error| error.to_string()) } + diff --git a/src/lib/components/HudPanel.svelte b/src/lib/components/HudPanel.svelte index 13cf379..2e43036 100644 --- a/src/lib/components/HudPanel.svelte +++ b/src/lib/components/HudPanel.svelte @@ -4,6 +4,8 @@ ConnectionState, HudConfigLink, HudNoticeTone, + LocaleCode, + StageViewMode, WindowControlAction } from "$lib/types/hud"; diff --git a/src/routes/+page.svelte b/src/routes/+page.svelte index 06ba000..13cd563 100644 --- a/src/routes/+page.svelte +++ b/src/routes/+page.svelte @@ -68,6 +68,7 @@ rangeMaxLabel: "最大值", colorMapLabel: "映射颜色", matrixViewLabel: "矩阵模式", + matrixViewNumericLabel: "数字模式", matrixViewDotsLabel: "点矩阵", stageModeLabel: "渲染模式", stageModeWebglLabel: "WebGL", @@ -129,6 +130,7 @@ rangeMaxLabel: "Max", colorMapLabel: "Color Map", matrixViewLabel: "Matrix Mode", + matrixViewNumericLabel: "Numeric", matrixViewDotsLabel: "Dots", stageModeLabel: "Render Mode", stageModeWebglLabel: "WebGL", @@ -1090,12 +1092,10 @@ currentLocale === "zh-CN" ? { streamOn: "打开", - streamOff: "关闭", settings: "参数" } : { streamOn: "Open", - streamOff: "Close", settings: "Setup" }; const devkitLabel = currentLocale === "zh-CN" ? "开发工具" : "DevKit"; @@ -1107,12 +1107,6 @@ tone: "lime", active: activeId === "stream-on" }, - { - id: "stream-off", - label: labels.streamOff, - tone: "orange", - active: activeId === "stream-off" - }, { id: "settings", label: labels.settings,