From e5bc4328cbeedd8f6235218e014e25b8060d20e8 Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 2 Jun 2010 13:59:38 +0000 Subject: New minibar option: default_source_language --- src/runtime/javascript/minibar/phrasebook.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/runtime/javascript/minibar/phrasebook.html') 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" } -- cgit v1.2.3