From 3d987cb9b5e55342d62a5697c8d46d07b167f9d7 Mon Sep 17 00:00:00 2001 From: Dean Lee Date: Thu, 12 Jun 2025 02:26:14 +0800 Subject: [PATCH] ui: fix wrong dash character (#35530) Fix wrong dash character --- system/ui/lib/application.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/system/ui/lib/application.py b/system/ui/lib/application.py index 24297286ef..1131659026 100644 --- a/system/ui/lib/application.py +++ b/system/ui/lib/application.py @@ -224,7 +224,7 @@ class GuiApplication: for layout in KEYBOARD_LAYOUTS.values(): all_chars.update(key for row in layout for key in row) all_chars = "".join(all_chars) - all_chars += "-✓" + all_chars += "–✓" codepoint_count = rl.ffi.new("int *", 1) codepoints = rl.load_codepoints(all_chars, codepoint_count)