From 1af13c38ed7e64acb7d904b47101087945bcb6e2 Mon Sep 17 00:00:00 2001
From: Vasek Sraier <git@vakabus.cz>
Date: Sun, 4 Oct 2020 21:24:14 +0200
Subject: [PATCH] editor: toolbox is scrollable

---
 frontend/src/Editor.svelte | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/frontend/src/Editor.svelte b/frontend/src/Editor.svelte
index e11633c..42f19f6 100644
--- a/frontend/src/Editor.svelte
+++ b/frontend/src/Editor.svelte
@@ -185,6 +185,8 @@
     margin: 5px;
     border: 1px solid gray;
     padding: 5px;
+
+    overflow-y: auto;
   }
 
   .taskDetails {