1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-23 18:42:27 +01:00

Fix some other bugs in ui.js. Still needs work

This commit is contained in:
Kris Maglione
2008-11-05 19:17:29 +00:00
parent b8dc728c85
commit 64f118524b

View File

@@ -246,7 +246,7 @@ function CommandLine() //{{{
doc.body.appendChild(output); doc.body.appendChild(output);
commandline.updateOutputHeight(); commandline.updateOutputHeight(true);
if (options["more"] && win.scrollMaxY > 0) if (options["more"] && win.scrollMaxY > 0)
{ {
@@ -1197,8 +1197,10 @@ function CommandLine() //{{{
setLine("Press ENTER or type command to continue", this.HL_QUESTION); 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; let doc = multilineOutputWidget.contentDocument;
outputContainer.collapsed = true; outputContainer.collapsed = true;
let availableHeight = 250; let availableHeight = 250;
@@ -1210,7 +1212,6 @@ function CommandLine() //{{{
catch (e) {} catch (e) {}
doc.body.style.minWidth = commandlineWidget.scrollWidth + "px"; doc.body.style.minWidth = commandlineWidget.scrollWidth + "px";
outputContainer.height = Math.min(doc.height, availableHeight) + "px"; outputContainer.height = Math.min(doc.height, availableHeight) + "px";
if (outputContainer.collapsed)
outputContainer.collapsed = false; outputContainer.collapsed = false;
}, },
@@ -1307,7 +1308,7 @@ function ItemList(id) //{{{
container.height = minHeight; container.height = minHeight;
div.style.minWidth = undefined; div.style.minWidth = undefined;
// FIXME: Belongs elsewhere. // FIXME: Belongs elsewhere.
commandline.updateOutputHeight(); commandline.updateOutputHeight(false);
} }
// TODO: temporary, to be changed/removed // TODO: temporary, to be changed/removed