5 Commits

Author	SHA1	Message	Date
Basile Burg	81c336c3bb	tools widget, disable extended selection ... of no usefulness here	2023-02-27 23:15:07 +01:00
Basile Burg	9f56a74e54	remove widget back panel	2022-12-26 15:41:01 +01:00
Basile Burg	5116b50705	fix #15 - Add a way to kill a custom tool	2020-04-05 14:13:04 +02:00
Basile Burg	acb5324d70	fix #16 - Add an optional background color as custom tool property	2020-04-04 12:43:20 +02:00
Basile Burg	f603fe1879	Get rid of old `TCE<Name>` class identifiers, step 2, #374	2019-01-02 21:10:48 +01:00