From dccdb9f1304b55b3a3bea68902d86dbf507cb4d4 Mon Sep 17 00:00:00 2001 From: Wolfr Date: Wed, 12 Aug 2020 23:43:45 +0200 Subject: [PATCH] site: show REPL input/output toggle on iOS without scrolling (#5175) --- site/src/components/Repl/InputOutputToggle.svelte | 2 +- site/src/components/Repl/ReplWidget.svelte | 3 +++ site/src/routes/_layout.svelte | 1 + .../routes/repl/[id]/_components/AppControls/index.svelte | 1 + site/src/routes/repl/[id]/index.svelte | 5 ++++- site/src/routes/repl/embed.svelte | 2 ++ 6 files changed, 12 insertions(+), 2 deletions(-) diff --git a/site/src/components/Repl/InputOutputToggle.svelte b/site/src/components/Repl/InputOutputToggle.svelte index dc4db92269..8233ee58b2 100644 --- a/site/src/components/Repl/InputOutputToggle.svelte +++ b/site/src/components/Repl/InputOutputToggle.svelte @@ -5,8 +5,8 @@