diff options
| author | hallgren <hallgren@chalmers.se> | 2010-06-02 13:59:38 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-06-02 13:59:38 +0000 |
| commit | e5bc4328cbeedd8f6235218e014e25b8060d20e8 (patch) | |
| tree | 37ac1af35fd186c8f3efd9f0dc979110388a22af /src/runtime/javascript/minibar/phrasebook.html | |
| parent | 86da023392276db274ffeb19184af2f336de6aac (diff) | |
New minibar option: default_source_language
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"> |