ui: implement PrimeAdWidget (#35496)

implement PrimeAdWidget
2026-10-01 03:43:51 +08:00 · 2025-06-09 04:05:30 +08:00
parent 6d09b2405e
commit a3daca8fd5
3 changed files with 43 additions and 2 deletions
@@ -252,7 +252,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)