3 Commits

Author	SHA1	Message	Date
Relintai	5a5fbc8e4d	Implemented the initial version of the WebEditor. It's currently a simple preview gui.	2022-08-20 21:50:44 +02:00
Relintai	e38dfb7c40	Set up WebEditorPlugin to hide / show the web editor tab in a way that feels right. The tab itself is empty though at the moment.	2022-08-20 20:24:40 +02:00
Relintai	d62fa2b4c9	Added web editor plugin skeleton.	2022-08-20 18:11:07 +02:00