|
|
98912a89e8
|
File copyright header updates pt9.
|
2023-12-18 00:25:33 +01:00 |
|
|
|
3afe20bdc7
|
More old copyright header cleanups.
|
2023-12-17 23:24:10 +01:00 |
|
|
|
b46ab0f4a7
|
Updated copyright headers to 2023.
|
2022-12-31 19:34:43 +01:00 |
|
|
|
f4b7a3b378
|
Also made it a singleton.
|
2022-08-23 15:23:34 +02:00 |
|
|
|
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 |
|
