Fabio Alessandrelli
95d2102565
[HTML5] Make home path persistent in editor.
...
We used to only persist specific sub-folder of /home/web_user/ when
running the Web Editor. This resulted in bad UX about default project
creation path etc.
This PR makes the whole folder persistent, move the zip preloading to a
different folder (to avoid persisting it), and automatically prompt the
user to import it if present.
2021-02-03 18:59:54 +01:00
Fabio Alessandrelli
4e09453407
[HTML5] Better editor HTML, small refactor.
...
Side and GDNative libraries are now added by engine.js , the dynlink pre
js had been deleted.
2021-01-25 20:15:57 +01:00
Hugo Locurcio
663466b882
Make links on the HTML5 editor more readable
...
This also tweaks the focus style to apply to all elements for
better keyboard navigation.
2021-01-07 18:46:26 +01:00
Hugo Locurcio
d80224934e
Fix and decrease Godot logo size in the HTML5 editor loader
...
The logo can no longer overflow the viewport.
2020-12-26 17:51:42 +01:00
Fabio Alessandrelli
6bc07cf777
[HTML5] Add logo and favicon to editor html.
2020-12-09 17:54:50 +01:00
Hugo Locurcio
e31c6d484e
[HTML5] Improve the editor HTML template.
2020-12-09 15:35:57 +01:00
Fabio Alessandrelli
f579b1d1f8
[HTML5] Editor also persists cache.
2020-12-09 14:27:41 +01:00
Marcel Admiraal
f42284ed07
Add missing javascript semi-colons.
2020-11-17 18:18:46 +00:00
Aaron Franke
02161aad5a
Remove empty lines around braces with the formatting script
2020-11-16 23:38:11 -05:00
Fabio Alessandrelli
3dfb769115
Add JavaScript editor html file.
2020-10-14 11:20:50 +02:00
