diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 71ebd725..e0020387 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -30,10 +30,6 @@ See [layouts.md](layouts.md#adding-new-layouts--languages) for how to add new la See make-emoji-keys tool [README](tools/make-emoji-keys/README.md). -# Update List of Existing Dictionaries - -See make-dict-list tool [README](tools/make-dict-list/README.md). - # Translations Translations can be added using [Weblate](https://translate.codeberg.org/projects/heliboard/). You will need an account to update translations and add languages. Add the language you want to translate to in Languages -> Manage translated languages in the top menu bar. Updating translations in a PR will not be accepted, as it may cause conflicts with Weblate translations. diff --git a/app/src/main/res/xml/prefs_screen_correction.xml b/app/src/main/res/xml/prefs_screen_correction.xml index 4b0f9aea..0edb993c 100644 --- a/app/src/main/res/xml/prefs_screen_correction.xml +++ b/app/src/main/res/xml/prefs_screen_correction.xml @@ -108,20 +108,6 @@ android:defaultValue="@bool/config_center_suggestion_text_to_enter" android:persistent="true" /> - - - - + + + + list[str]: @@ -25,6 +33,9 @@ def check_diacritics(language: str, diacritics: list[str], all_diacritics: set[s word_lists = find_word_lists(language) if len(word_lists) == 0: return + report_file = f"diacritics_report_{language}.txt" + if os.path.isfile(report_file): + return for dia in diacritics: all_diacritics.remove(dia) foreign_dia = "".join(all_diacritics) @@ -55,7 +66,7 @@ def check_diacritics(language: str, diacritics: list[str], all_diacritics: set[s dia_results = dia_results + f"language diacritics counts: {dia_count}\n" dia_results = dia_results + "foreign diacritics:\n" dia_results = dia_results + "\n".join(foreigns) - with open(f"diacritics_report_{language}.txt", 'w') as f: + with open(report_file, 'w') as f: f.write(dia_results) @@ -70,7 +81,7 @@ def make_all_diacritics(dia_lists: list[list[str]]) -> set[str]: def read_diacritics() -> dict[str, list[str]]: d = dict() language = "" - with open("diacritics.txt") as f: + with open(diacritics_file) as f: for line in f: if language == "": language = line.strip()