ui: fix wrong dash character (#35530)

Fix wrong dash character
5 months ago · 3d987cb9b5
parent e345f25ce4
commit 3d987cb9b5
1 changed files with 1 additions and 1 deletions
--- 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)