diff options
author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-02-03 18:59:45 +0100 |
---|---|---|
committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-02-03 18:59:54 +0100 |
commit | 95d210256524e08743870ed49f16162348d87a0d (patch) | |
tree | 3f9f430d5221cfc1737db353d4da4f7bfc8a3eb2 /editor/debugger | |
parent | 9db7e07d5a42737d48c4e230f7c4e451ea3dd689 (diff) |
[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.
Diffstat (limited to 'editor/debugger')
0 files changed, 0 insertions, 0 deletions