Skip to content

refactor(arca-gui): spell keystroke glyphs and status separators as escapes - #73

Merged
devin-ai-integration[bot] merged 2 commits into
mainfrom
devin/1792271280-ascii-glyph-escapes
Oct 18, 2026
Merged

devin-ai-integration[bot] merged 2 commits into
mainfrom
devin/1792271280-ascii-glyph-escapes

Conversation

@devin-ai-integration

Copy link
Copy Markdown
Contributor

Summary

AGENTS.md says source strings stay ASCII-only. keystroke() in ui/dialogs.rs used literal glyphs (⌘ ⌥ ⇧ ← → ↑ ↓), and AppController::summary() in controller/mod.rs used literal · separators. Everywhere else, arca-gui already writes these as escapes (e.g. "{l} \u{b7} {name}" in the same controller file), so this PR switches these spots to the same style:

"ctrl" if mac => "\u{2318}".into(),   // was "⌘"
"{} {} \u{b7} {} {}"                   // was "{} {} · {} {}"

The strings produced are byte-identical, so rendering doesn't change. The existing keystroke assertions in ui/tests.rs ("⌘⇧C", "Alt+←") still pass unchanged.

Checks: cargo fmt --all -- --check, cargo clippy -p arca-gui --all-targets -- -D warnings, cargo test -p arca-gui (253 passed).

Link to Devin session: https://app.devin.ai/sessions/79991db7f9254d59bf5d28fc5addb929
Open in Devin Desktop: https://app.devin.ai/desktop/session/79991db7f9254d59bf5d28fc5addb929?variant=devin
Requested by: @Villoh

…scapes

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>
@devin-ai-integration

Copy link
Copy Markdown
Contributor Author

I'll fix CI failures and address comments from users with write access. I'll skip comments containing "(aside)".

  • Disable automatic comment, CI, and merge conflict monitoring

…i-glyph-escapes

Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>

# Conflicts:
#	arca-gui/src/ui/dialogs.rs
@devin-ai-integration
devin-ai-integration Bot merged commit d54acb5 into main Oct 18, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant