From 64f118524b6c972745b70686a1c6598e7ccf437b Mon Sep 17 00:00:00 2001 From: Kris Maglione Date: Wed, 5 Nov 2008 19:17:29 +0000 Subject: [PATCH] Fix some other bugs in ui.js. Still needs work --- content/ui.js | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/content/ui.js b/content/ui.js index 40dd9178..7054ea68 100644 --- a/content/ui.js +++ b/content/ui.js @@ -246,7 +246,7 @@ function CommandLine() //{{{ doc.body.appendChild(output); - commandline.updateOutputHeight(); + commandline.updateOutputHeight(true); if (options["more"] && win.scrollMaxY > 0) { @@ -1197,8 +1197,10 @@ function CommandLine() //{{{ setLine("Press ENTER or type command to continue", this.HL_QUESTION); }, - updateOutputHeight: function () + updateOutputHeight: function (open) { + if (!open && outputContainer.collapsed) + return; let doc = multilineOutputWidget.contentDocument; outputContainer.collapsed = true; let availableHeight = 250; @@ -1210,7 +1212,6 @@ function CommandLine() //{{{ catch (e) {} doc.body.style.minWidth = commandlineWidget.scrollWidth + "px"; outputContainer.height = Math.min(doc.height, availableHeight) + "px"; - if (outputContainer.collapsed) outputContainer.collapsed = false; }, @@ -1307,7 +1308,7 @@ function ItemList(id) //{{{ container.height = minHeight; div.style.minWidth = undefined; // FIXME: Belongs elsewhere. - commandline.updateOutputHeight(); + commandline.updateOutputHeight(false); } // TODO: temporary, to be changed/removed