5 Commits

Author	SHA1	Message	Date
swcs	b07858243b	do highlight errors in editor tabs	2020-09-09 13:43:01 +02:00
swcs	9934486709	editor without tabs	2020-06-24 15:28:34 +02:00
swcs	7aa9a9049f	first draft of renderer via a JS config	2020-06-23 12:23:23 +02:00
swcs	1b13dd1e6e	eventually we should configure editor in js?	2020-06-18 16:01:26 +02:00
swcs	12ebfe5964	try renderer stuff	2020-05-28 16:12:55 +02:00