|
e6adf5aad5
|
Added an extension api for the WebNodeEditor.
|
2022-08-23 15:20:56 +02:00 |
|
|
285fe5cd82
|
Renamed WebEditor* to WebNodeEditor*.
|
2022-08-23 13:27:59 +02:00 |
|
|
5e64462049
|
Renamed the web editor's files.
|
2022-08-23 13:24:31 +02:00 |
|
|
bfc1679f14
|
Actually register EditorInterface, SpatialEditor, CanvasItemEditor, and WebNodeEditor as globals.
|
2022-08-23 13:21:09 +02:00 |
|
|
edb7dd231e
|
Enable html prettifying in the web editor.
|
2022-08-20 22:30:09 +02:00 |
|
|
5a5fbc8e4d
|
Implemented the initial version of the WebEditor. It's currently a simple preview gui.
|
2022-08-20 21:50:44 +02:00 |
|
|
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 |
|
|
d62fa2b4c9
|
Added web editor plugin skeleton.
|
2022-08-20 18:11:07 +02:00 |
|