maxmustermann/godot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
godot/misc/scripts
History
Rémi Verschelde 7ce8342ac5 Rename project file to "project.godot" 
Slimmed down variant from the reverted #8375.
The rationale behind the name change is to give Godot's project file a unique
extension (".godot") that can be registered on the OS to be associated with
the Godot binary (OS registration not implemented here).

This PR also adds the possibility to start the game or editor if launched
with the project.godot passed as argument, which paves the way for allowing
a similar behaviour on a double-click in the OS file manager (code originally
by @Hinsbart).

Closes #6915.
2017-05-01 17:50:19 +02:00
..
addheader.py Add "Godot Engine contributors" copyright line 2017-04-08 00:11:42 +02:00
file-hex-array.py Reorder the folders in tools to prepare moving tools/editor 2017-02-09 00:08:27 +01:00
make_bmfhdr.py Reorder the folders in tools to prepare moving tools/editor 2017-02-09 00:08:27 +01:00
make_glwrapper.py Reorder the folders in tools to prepare moving tools/editor 2017-02-09 00:08:27 +01:00
make_icons.sh Reorder the folders in tools to prepare moving tools/editor 2017-02-09 00:08:27 +01:00
makeargs.py Reorder the folders in tools to prepare moving tools/editor 2017-02-09 00:08:27 +01:00
memsort.py Reorder the folders in tools to prepare moving tools/editor 2017-02-09 00:08:27 +01:00
sort-demos.sh Rename project file to "project.godot" 2017-05-01 17:50:19 +02:00
svgs_2_pngs.py Add new editor and default theme (WIP) 2017-04-27 08:04:57 +02:00