From 79a71665643bcca9d528297531a226569ce8685d Mon Sep 17 00:00:00 2001
From: cudr <codefaster@yandex.ru>
Date: Thu, 3 Jan 2019 13:44:18 +0300
Subject: [PATCH] add options scroll

---
 site/src/routes/repl/_components/Output/CompilerOptions.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/site/src/routes/repl/_components/Output/CompilerOptions.html b/site/src/routes/repl/_components/Output/CompilerOptions.html
index 278f7aa275..1aff0d51ab 100644
--- a/site/src/routes/repl/_components/Output/CompilerOptions.html
+++ b/site/src/routes/repl/_components/Output/CompilerOptions.html
@@ -5,6 +5,7 @@
 <style>
 	.options {
 		padding: 0 1rem;
+		overflow-y: auto;
 		font-family: var(--font-ui);
 		font-size: 1.3rem;
 		color: #999;
@@ -141,4 +142,4 @@
 		<input type="checkbox" bind:checked={options.legacy}> <span class="boolean">{options.legacy}</span>
 	</label>
 	});
-</div>
\ No newline at end of file
+</div>