GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-30 06:52:49 -06:00
Code Issues Packages Projects Releases Wiki Activity

minibar: documentation and API work

Browse Source
This commit is contained in:
hallgren
2011-08-11 16:28:49 +00:00
parent 19d84b6de0
commit b2512234dd
6 changed files with 48 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
src/runtime/javascript/minibar/minibar.js
View File

@@ -18,25 +18,21 @@ show_completions(complete_output)
// For backward compatibility:
function start_minibar(server,opts,target) {
return new Minibar(server,opts,target);
if(target) opts.target=target;
return new Minibar(server,opts);
}
/* --- Main Minibar object -------------------------------------------------- */
function Minibar(server,opts,target) {
function Minibar(server,opts) {
// Contructor, typically called when the HTML document is loaded
/* --- Configuration ---------------------------------------------------- */
// default values for options:
this.options={
show_abstract: false,
show_trees: false,
show_grouped_translations: true,
delete_button_text: "⌫",
default_source_language: null,
target: "minibar",
try_google: true,
feedback_url: null,
random_button: true,
help_url: null
}
@@ -45,14 +41,14 @@ function Minibar(server,opts,target) {
/* --- Creating the components of the minibar --------------------------- */
this.translations=new Translations(server,this.options)
this.input=new Input(server,this.options,this.translations)
this.input=new Input(server,this.translations,this.options)
/* --- Creating user interface elements --------------------------------- */
this.menubar=empty("div");
this.extra=div_id("extra");
this.minibar=element(target || "minibar");
this.minibar=element(this.options.target);
this.minibar.innerHTML="";
with(this) {
appendChildren(menubar,[input.menus,translations.menus,input.buttons])