From be522737b1ca27a4827c3a9505d408ce6e13516f Mon Sep 17 00:00:00 2001 From: Matt C Date: Sun, 10 May 2026 12:14:28 -0400 Subject: [PATCH] fix noticed issues --- src/web/html/index.html | 3 --- src/web/stylesheets/components/io/_io.css | 1 + src/web/waiters/ControlsWaiter.mjs | 3 ++- 3 files changed, 3 insertions(+), 4 deletions(-) diff --git a/src/web/html/index.html b/src/web/html/index.html index 17aea0e9..d57b64be 100755 --- a/src/web/html/index.html +++ b/src/web/html/index.html @@ -294,9 +294,6 @@ - diff --git a/src/web/stylesheets/components/io/_io.css b/src/web/stylesheets/components/io/_io.css index 2bffa214..0b0deb64 100755 --- a/src/web/stylesheets/components/io/_io.css +++ b/src/web/stylesheets/components/io/_io.css @@ -197,6 +197,7 @@ label[for="output-text"] { #input .cm-panels, #output .cm-panels { border-color: var(--primary-border-colour); + z-index: initial; } /* maximise pane and lay on top of everything ( mobile UI )*/ diff --git a/src/web/waiters/ControlsWaiter.mjs b/src/web/waiters/ControlsWaiter.mjs index a85aabf1..08f79189 100755 --- a/src/web/waiters/ControlsWaiter.mjs +++ b/src/web/waiters/ControlsWaiter.mjs @@ -566,8 +566,9 @@ ${navigator.userAgent} this.setPaneMaximisedClasses(pane, maximise); if (maximise) { - pane.style.height = `${window.innerHeight - 40}px`; + pane.style.height = `${window.innerHeight - 30}px`; } else { + this.app.setSplitter(); if (this.app.isMobileView()) { this.app.assignAvailableHeight(); }