Stefan Otto 3590b0b05f Fixes toolArea close, add close button ... Fix: click somewhere to close toolArea Add: close button to toolArea		2018-11-15 11:31:10 +01:00
..
TabHeader.jsx	Attempt to slightly improve the sidebar styling	2018-08-08 13:11:52 +02:00
ToolArea.jsx	Fixes toolArea close, add close button	2018-11-15 11:31:10 +01:00
ToolAreaButton.jsx	Fixes toolArea close, add close button	2018-11-15 11:31:10 +01:00