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.