diff --git a/src/web/InputWaiter.mjs b/src/web/InputWaiter.mjs index a459f27a..2e4ec0f3 100755 --- a/src/web/InputWaiter.mjs +++ b/src/web/InputWaiter.mjs @@ -442,6 +442,7 @@ class InputWaiter { tabWrapper.style.display = "block"; document.getElementById("input-wrapper").style.height = "calc(100% - var(--tab-height) - var(--title-height))"; + document.getElementById("input-highlighter").style.height = "calc(100% - var(--tab-height) - var(--title-height))"; document.getElementById("input-file").style.height = "calc(100% - var(--tab-height) - var(--title-height))"; this.inputs[newTabNum.toString()] = ""; @@ -508,6 +509,7 @@ class InputWaiter { document.getElementById("input-tabs").style.display = "none"; document.getElementById("input-wrapper").style.height = "calc(100% - var(--title-height))"; + document.getElementById("input-highlighter").style.height = "calc(100% - var(--title-height))"; document.getElementById("input-file").style.height = "calc(100% - var(--title-height))"; } @@ -586,7 +588,7 @@ class InputWaiter { activeTabContent.innerText = input.name; } else { if (input.length > 0) { - activeTabContent.innerText = input.slice(0, 100); + activeTabContent.innerText = input.slice(0, 100).split(/[\r\n]/)[0]; } else { activeTabContent.innerText = "New Tab"; } diff --git a/src/web/stylesheets/layout/_io.css b/src/web/stylesheets/layout/_io.css index 77f11403..cd5b363c 100755 --- a/src/web/stylesheets/layout/_io.css +++ b/src/web/stylesheets/layout/_io.css @@ -105,9 +105,9 @@ #output-highlighter { position: absolute; left: 0; - top: 0; + bottom: 0; width: 100%; - height: 100%; + height: calc(100% - var(--title-height)); padding: 3px; margin: 0; overflow: hidden;