mirror/godot
2
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-02-17 22:43:01 +08:00
Code Issues Packages Projects Releases Wiki Activity
5971a97a0c
godot/platform/javascript/api
History
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 +02:00
..
api.cpp [HTML5] Add JavaScriptToolsEditorPlugin. 2020-10-14 12:31:20 +02:00
api.h Adding missing include guards to header files identified by LGTM. 2020-03-23 04:52:36 -04:00
javascript_eval.h Update copyright statements to 2020 2020-01-01 11:16:22 +01:00
javascript_tools_editor_plugin.cpp [HTML5] Add JavaScriptToolsEditorPlugin. 2020-10-14 12:31:20 +02:00
javascript_tools_editor_plugin.h [HTML5] Add JavaScriptToolsEditorPlugin. 2020-10-14 12:31:20 +02:00