editor: toolbox is scrollable

This commit is contained in:
Vašek Šraier 2020-10-04 21:24:14 +02:00
parent 8202fc43e8
commit 1af13c38ed

View file

@ -185,6 +185,8 @@
margin: 5px;
border: 1px solid gray;
padding: 5px;
overflow-y: auto;
}
.taskDetails {