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
..
android	Merge pull request #41385 from m4gr3d/fix_splash_loading_master	2020-09-28 20:45:53 +02:00
iphone	iOS: Native video refactoring	2020-10-02 15:05:01 +03:00
javascript	[HTML5] Add JavaScriptToolsEditorPlugin.	2020-10-14 12:31:20 +02:00
linuxbsd	Fix x11 display server crash when deleting popup window when unfocused	2020-10-08 17:22:03 +02:00
osx	Fix screen_get_dpi on macOS for non fractional display scales and restore documentation.	2020-10-01 22:52:20 +03:00
server	Linux/BSD: Fix support for NetBSD	2020-09-18 10:27:55 +02:00
uwp	[Windows, MSVC] Correctly set source file encoding.	2020-10-09 13:56:20 +03:00
windows	[Windows, MSVC] Correctly set source file encoding.	2020-10-09 13:56:20 +03:00
register_platform_apis.h
SCsub	SCons: Format buildsystem files with psf/black	2020-03-30 09:05:53 +02:00