@dodona/papyros

export declare const ENGLISH_TRANSLATION: { Papyros: { Papyros: string; code: string; code_placeholder: string; input: string; input_placeholder: { interactive: string; batch: string; }; input_disabled: string; output: string; output_placeholder: string; debug_placeholder: string; stop: string; finished: string; interrupted: string; states: { running: string; stopping: string; loading: string; awaiting_input: string; ready: string; }; programming_language: string; programming_languages: { Python: string; JavaScript: string; }; locales: { en: string; nl: string; }; switch_input_mode_to: { interactive: string; batch: string; }; enter: string; examples: string; dark_mode: string; output_overflow: string; output_overflow_download: string; no_output: string; service_worker_error: string; launch_error: string; url_fetch_error: string; loading: string; run_modes: { doctest: string; debug: string; run: string; }; used_input: string; used_input_with_prompt: string; debugger: { title: string; text_1: string; text_2: string; }; editor: { test_code: { description: string; edit: string; remove: string; }; }; debug: { stop: string; }; editor_tab_code: string; close_file_tab: string; close_file_confirm: string; rename_file_tab: string; add_file: string; add_file_placeholder: string; files_download: string; files_binary: string; files_empty: string; output_tab_output: string; output_tab_turtle: string; }; CodeMirror: { "Go to line": string; go: string; Find: string; Replace: string; next: string; previous: string; all: string; "match case": string; replace: string; "replace all": string; close: string; }; }; export declare const DUTCH_TRANSLATION: { Papyros: { Papyros: string; code: string; code_placeholder: string; input: string; input_placeholder: { interactive: string; batch: string; }; input_disabled: string; output: string; output_placeholder: string; debug_placeholder: string; stop: string; states: { running: string; stopping: string; loading: string; awaiting_input: string; ready: string; }; finished: string; interrupted: string; programming_language: string; programming_languages: { Python: string; JavaScript: string; }; locales: { en: string; nl: string; }; switch_input_mode_to: { interactive: string; batch: string; }; enter: string; examples: string; dark_mode: string; output_overflow: string; output_overflow_download: string; no_output: string; service_worker_error: string; launch_error: string; url_fetch_error: string; loading: string; run_modes: { doctest: string; debug: string; run: string; }; used_input: string; used_input_with_prompt: string; debugger: { title: string; text_1: string; text_2: string; }; editor: { test_code: { description: string; edit: string; remove: string; }; }; debug: { stop: string; }; editor_tab_code: string; close_file_tab: string; close_file_confirm: string; rename_file_tab: string; add_file: string; add_file_placeholder: string; files_download: string; files_binary: string; files_empty: string; output_tab_output: string; output_tab_turtle: string; }; CodeMirror: { "Control character": string; "Folded lines": string; "Unfolded lines": string; to: string; "folded code": string; unfold: string; "Fold line": string; "Unfold line": string; "Go to line": string; go: string; Find: string; Replace: string; next: string; previous: string; all: string; "match case": string; replace: string; "replace all": string; close: string; "current match": string; "on line": string; Diagnostics: string; "No diagnostics": string; }; };