diff options
Diffstat (limited to 'src/runtime/javascript/minibar/phrasebook.html')
| -rw-r--r-- | src/runtime/javascript/minibar/phrasebook.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/runtime/javascript/minibar/phrasebook.html b/src/runtime/javascript/minibar/phrasebook.html index ec3ab12ec..73c0e849b 100644 --- a/src/runtime/javascript/minibar/phrasebook.html +++ b/src/runtime/javascript/minibar/phrasebook.html @@ -12,7 +12,8 @@ var phrasebook_options={ grammar_list: ["Phrasebook.pgf"], delete_button_text: "Del", help_url: "http://www.grammaticalframework.org/examples/phrasebook/help-phrasebook.html", - feedback_url: "feedback.html" + feedback_url: "feedback.html", + default_source_language: "Eng" } </script> <meta name = "viewport" content = "width = device-width"> |