1 Commits (84e900830afc13c8a3f9d48b0df658cdcfb77003)

Author	SHA1	Message	Date
Fabio Alessandrelli	c54de7f589	[HTML5] Add JavaScriptToolsEditorPlugin. ... A new editor plugin, specific to HTML5, that provide some extra features needed to make the editor usable on that platform. For now, it adds a "Download project sources" option in the "Tool" menu, so the user can download the work done as a zip file (from the browser storage).	2020-10-14 12:31:20 +07:00