Stefan Otto 854d1e583b Fix tooltip ToolAreaButton		2018-11-14 12:45:22 +01:00
..
TabHeader.jsx	Attempt to slightly improve the sidebar styling	2018-08-08 13:11:52 +02:00
ToolArea.jsx	Support closing toolbar by clicking on the overlay	2018-08-09 09:22:37 +02:00
ToolAreaButton.jsx	Fix tooltip ToolAreaButton	2018-11-14 12:45:22 +01:00