5 Commits

Author	SHA1	Message	Date
Michael Zanetti	aeefd8d79f	Allow resizing the console/error panel in the scripteditor	2021-01-09 17:31:52 +01:00
Michael Zanetti	038293a77d	Rework the styling mechanism	2020-12-06 17:48:42 +01:00
Michael Zanetti	39417c04c0	Update copyright heeaders	2020-02-01 00:48:50 +01:00
Michael Zanetti	022013d46f	Allow clearing the console output	2020-01-16 11:43:20 +01:00
Michael Zanetti	687912a82c	More work on the script editor	2020-01-16 11:43:20 +01:00