From c3bbfd9d54ce9e2b5f3ee3175d27f558e055a645 Mon Sep 17 00:00:00 2001 From: "villoh.contact" Date: Sat, 17 Oct 2026 21:15:16 +0000 Subject: [PATCH] refactor(arca-gui): spell keystroke glyphs and status separators as escapes AGENTS.md keeps source strings ASCII-only; the keystroke glyphs and the status-line middle dots were the remaining literal spellings, while the rest of arca-gui already uses \u{..} escapes. The produced strings are byte-identical. Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> --- arca-gui/src/controller/mod.rs | 4 ++-- arca-gui/src/ui/dialogs.rs | 14 +++++++------- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/arca-gui/src/controller/mod.rs b/arca-gui/src/controller/mod.rs index f86d423..d400590 100644 --- a/arca-gui/src/controller/mod.rs +++ b/arca-gui/src/controller/mod.rs @@ -667,7 +667,7 @@ impl AppController { .map(|row| row.size) .sum(); return format!( - "{} {} · {} {}", + "{} {} \u{b7} {} {}", rows.len(), if rows.len() == 1 { s.item_word @@ -687,7 +687,7 @@ impl AppController { (1.0 - packed as f64 / raw as f64) * 100.0 }; format!( - "{n} {} · {} {} · {} {} · {ratio:.1}% {}", + "{n} {} \u{b7} {} {} \u{b7} {} {} \u{b7} {ratio:.1}% {}", s.files_word, human(raw), s.uncompressed_word, diff --git a/arca-gui/src/ui/dialogs.rs b/arca-gui/src/ui/dialogs.rs index dae2cac..5749ea7 100644 --- a/arca-gui/src/ui/dialogs.rs +++ b/arca-gui/src/ui/dialogs.rs @@ -73,11 +73,11 @@ pub(crate) fn keystroke(spec: &str, mac: bool) -> String { let parts: Vec = spec .split('-') .map(|part| match part { - "ctrl" if mac => "⌘".into(), + "ctrl" if mac => "\u{2318}".into(), "ctrl" => "Ctrl".into(), - "alt" if mac => "⌥".into(), + "alt" if mac => "\u{2325}".into(), "alt" => "Alt".into(), - "shift" if mac => "⇧".into(), + "shift" if mac => "\u{21e7}".into(), "shift" => "Shift".into(), "escape" => "Esc".into(), "delete" => "Delete".into(), @@ -85,10 +85,10 @@ pub(crate) fn keystroke(spec: &str, mac: bool) -> String { "enter" => "Enter".into(), "space" => "Space".into(), "tab" => "Tab".into(), - "left" => "←".into(), - "right" => "→".into(), - "up" => "↑".into(), - "down" => "↓".into(), + "left" => "\u{2190}".into(), + "right" => "\u{2192}".into(), + "up" => "\u{2191}".into(), + "down" => "\u{2193}".into(), "home" => "Home".into(), "end" => "End".into(), "pageup" => "PgUp".into(),