From f18c4628b783d1489b792ff7f74f2f2718dde8f7 Mon Sep 17 00:00:00 2001 From: Peter Stockings Date: Sat, 16 Dec 2023 17:04:04 +1100 Subject: [PATCH] Hide scroll bar on editor --- app.py | 3 +-- templates/home.html | 23 +++++++++++------------ 2 files changed, 12 insertions(+), 14 deletions(-) diff --git a/app.py b/app.py index dc3a151..56215da 100644 --- a/app.py +++ b/app.py @@ -30,8 +30,7 @@ DEFAULT_SCRIPT = """async (req) => { `)} `) -} -""" +}""" def map_isolator_response_to_flask_response(response): """ diff --git a/templates/home.html b/templates/home.html index 5063007..1120ce1 100644 --- a/templates/home.html +++ b/templates/home.html @@ -19,17 +19,13 @@ -
{{ script }} +
{{ script }}
@@ -51,6 +47,9 @@