1
0
mirror of synced 2024-11-17 03:27:13 +01:00

Fix input highlighter size

This commit is contained in:
j433866 2019-03-22 15:19:03 +00:00
parent c0c83c5cdc
commit 9b86ed7c45
2 changed files with 5 additions and 3 deletions

View File

@ -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";
}

View File

@ -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;