diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-11-23 08:08:13 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-11-23 08:08:13 +0000 |
| commit | c94e34d4e49e4fa0b570e77538b2fc7628ded16d (patch) | |
| tree | dd6da5fc79ab8db60386b9c4b4cb8be1cdf6afff | |
| parent | 24bf1f0d0ea42286a40cc8ac734b7d99c4197736 (diff) | |
Minibar: add show/hide functions
| -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; |