From 9a87824b129853a7f20a0684bfeca662f667177f Mon Sep 17 00:00:00 2001 From: Alf Eaton Date: Fri, 4 Feb 2022 09:21:36 +0000 Subject: [PATCH] Update CodeMirror 6 styles (#6577) GitOrigin-RevId: 91cdfcc9fca899666d6740acbb6cc1c2aa991451 --- services/web/frontend/extracted-translations.json | 6 ++++-- services/web/locales/en.json | 2 ++ 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/services/web/frontend/extracted-translations.json b/services/web/frontend/extracted-translations.json index 2bea60d82f..e8f4c6013f 100644 --- a/services/web/frontend/extracted-translations.json +++ b/services/web/frontend/extracted-translations.json @@ -94,6 +94,7 @@ "find_out_more_about_the_file_outline": "", "find_the_symbols_you_need_with_premium": "", "first_error_popup_label": "", + "fold_line": "", "following_paths_conflict": "", "free_accounts_have_timeout_upgrade_to_increase": "", "from_another_project": "", @@ -306,6 +307,7 @@ "run_syntax_check_now": "", "search": "", "search_all": "", + "search_bib_files": "", "search_close": "", "search_command_find": "", "search_command_go": "", @@ -316,11 +318,10 @@ "search_next": "", "search_on_line": "", "search_previous": "", + "search_references": "", "search_regexp": "", "search_replace": "", "search_replace_all": "", - "search_bib_files": "", - "search_references": "", "select_a_file": "", "select_a_project": "", "select_an_output_file": "", @@ -379,6 +380,7 @@ "try_refresh_page": "", "turn_off_link_sharing": "", "turn_on_link_sharing": "", + "unfold_line": "", "unlimited_projects": "", "unlink_github_repository": "", "unlinking": "", diff --git a/services/web/locales/en.json b/services/web/locales/en.json index 89a72fc9ee..a3d1c6ff1e 100644 --- a/services/web/locales/en.json +++ b/services/web/locales/en.json @@ -1550,6 +1550,8 @@ "layout_processing": "Layout processing", "show_in_code": "Show in code", "show_in_pdf": "Show in PDF", + "fold_line": "Fold line", + "unfold_line": "Unfold line", "search_all": "all", "search_close": "close", "search_command_find": "Find",