Ignore case when sorting generated dictionary

CleverRaven · Apr 9, 2024 · b8c46c0 · b8c46c0
1 parent 57a95d0
commit b8c46c0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/spell_checker/gen_dictionary.py b/tools/spell_checker/gen_dictionary.py
@@ -24,5 +24,5 @@ def gen_dictionary():
                     dictionary.add(norm)
     dict_path = os.path.join(os.path.dirname(__file__), "dictionary.txt")
     with open(dict_path, "w", encoding="utf-8") as fp:
-        for word in sorted(dictionary):
+        for word in sorted(dictionary, key=lambda v: (v.lower(), v)):
             print(word, file=fp)