+This is the complete Minibar web app. It is defined in
+minibar.js. It also uses the Input
+and Translations objects, and some auxiliary functions defined
+in minibar_support.js
+and support.js, so to use it in an
+HTML file, you would normally include at least the following:
+
+
+ ++<script type="text/JavaScript" src="minibar.js"></script> +<script type="text/JavaScript" src="minibar_input.js"></script> +<script type="text/JavaScript" src="minibar_translations.js"></script> +<script type="text/JavaScript" src="minibar_support.js"></script> +<script type="text/JavaScript" src="support.js"></script> +
+For an example, see minibar.html. + +
var minibar=new Minibar(server,options,target)
+
+server is the PGF service object.
+ options is an object where the following properties
+ can be set to override various default options:
+ | Option | Default | Description + |
|---|---|---|
| show_abstract | false | See Translations, + not used directly by Minibar + |
| show_trees | false + | |
| show_grouped_translations | true + | |
| delete_button_text | "⌫" | See Input, + not used directly by Minibar + |
| default_source_language | null + | |
| random_button | true + | |
| try_google | true | Include a button to try the current + sentence in Google Translate + |
| feedback_url | null | Include a button to open a feedback + form. The HTTP server must be configured to handle form submissions + for this to work. + |
| help_url | null | Include a button to open a help text. + |
target is the id of the HTML element inside
+ which the minibar user interface is created. It can be omitted if
+ the id is minibar. The HTML document should
+ contain something like this:
+ <div id="minibar"></div>+It is defined in +minibar_input.js. +It also uses some auxiliary functions defined +in minibar_support.js +and support.js, so to use it in an +HTML file, you would normally include at least the following: + +
+ ++<script type="text/JavaScript" src="minibar_input.js"></script> +<script type="text/JavaScript" src="minibar_support.js"></script> +<script type="text/JavaScript" src="support.js"></script> +
var input=new Input(server,options,translations)
+
+server is the PGF service object
+ options is an object where the following properties
+ can be set to override various default options:
+ | Option | Default | Description + |
|---|---|---|
| delete_button_text | "⌫" | the label for the button that deletes the last word + |
| default_source_language | null | the concrete language to + use for input in case the user's browers doesn't supply a suitable + default. If none is provided the first language in alphabetical + order will be used. + |
| random_button | true | include a button to generate a + random sentence + |
translations is the object that is notified when the input
+ has changed. In the minibar, this is the object that display translations.
+ The following methods will be called:
+ translations.clear()
+ translations.translateFrom({from:conc,input:string})
+ input object created by the Inputconstructor
+contains two field that the caller should add to the user interface:
+input.main is the main user interface where the current
+ input and the refrigerator magnets are displayed.
+ input.menus contains the menu for selecting input language,
+ and buttons for deleting the last word, clearing the input and generating
+ a random sentence (if enabled in the options)
+input.change_grammar(grammar_info) should be called
+ after a different grammar is selected in the server object. It
+ will clear away old input and magnets, and update the input language menu
+ with the languages available in the new grammar.
+
++ ++<script type="text/JavaScript" src="minibar_input.js"></script> +<script type="text/JavaScript" src="minibar_support.js"></script> +<script type="text/JavaScript" src="support.js"></script> +
var translations=new Translations(server,options)
+server is the PGF service object.
+ options is an object where the following properties
+ can be set to override various default options:
+
| Option | Default | Description + |
|---|---|---|
| show_abstract | false | show the abstract syntax in addition + to the concrete syntax for the translations + |
| show_trees | false | add buttons to display syntax trees + next to translations. + |
| show_grouped_translations | true | in case there are + multiple translations, group them by concrete language + |
translations object created by the
+Translations constructor contains two field that the caller
+should add to the user interface:
+input.main is the main user interface where the current
+ translations are displayed.
+ input.menus contains the menu for selecting target language.
+translations.change_grammar(grammar_info) should be called
+ after a different grammar is selected in the server object. It
+ will clear away old translations and update the target language menu
+ with the languages available in the new grammar.
+