1 Commits (f03a84ef28f0d7a2a8a2101431f5d6f47b5cf73a)

Author	SHA1	Message	Date
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