From 9b86ed7c45c6e790ef0ff237050acb89db74dd0e Mon Sep 17 00:00:00 2001 From: j433866 Date: Fri, 22 Mar 2019 15:19:03 +0000 Subject: [PATCH] Fix input highlighter size --- src/web/InputWaiter.mjs | 4 +++- src/web/stylesheets/layout/_io.css | 4 ++-- 2 files changed, 5 insertions(+), 3 deletions(-) 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;