diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/minibar/minibar.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/www/minibar/minibar.js b/src/www/minibar/minibar.js index 10a469b6b..258de3078 100644 --- a/src/www/minibar/minibar.js +++ b/src/www/minibar/minibar.js @@ -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; |