|
|
6bc07cf777
|
[HTML5] Add logo and favicon to editor html.
|
2020-12-09 17:54:50 +01:00 |
|
|
|
e31c6d484e
|
[HTML5] Improve the editor HTML template.
|
2020-12-09 15:35:57 +01:00 |
|
|
|
f579b1d1f8
|
[HTML5] Editor also persists cache.
|
2020-12-09 14:27:41 +01:00 |
|
|
|
f42284ed07
|
Add missing javascript semi-colons.
|
2020-11-17 18:18:46 +00:00 |
|
|
|
02161aad5a
|
Remove empty lines around braces with the formatting script
|
2020-11-16 23:38:11 -05:00 |
|
|
|
3dfb769115
|
Add JavaScript editor html file.
|
2020-10-14 11:20:50 +02:00 |
|
