mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
Minibar: add show/hide functions
This commit is contained in:
@@ -57,6 +57,12 @@ function Minibar(server,opts) {
|
||||
menubar.appendChild(button("Help",bind(open_help,this)));
|
||||
append_extra_buttons(extra,options);
|
||||
}
|
||||
this.hide = function() {
|
||||
this.minibar.style.display="none";
|
||||
}
|
||||
this.show = function() {
|
||||
this.minibar.style.display="block";
|
||||
}
|
||||
|
||||
/* --- Minibar client state initialisation ------------------------------ */
|
||||
this.grammar=null;
|
||||
|
||||
Reference in New Issue
Block a user