| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Rename project file to "project.godot" | Rémi Verschelde | 2017-05-01 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | 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. | ||||
| * | Add new editor and default theme (WIP) | Daniel J. Ramirez | 2017-04-27 | 1 | -6/+6 |
| | | |||||
| * | Add "Godot Engine contributors" copyright line | Rémi Verschelde | 2017-04-08 | 1 | -0/+1 |
| | | |||||
| * | Reorder the folders in tools to prepare moving tools/editor | Rémi Verschelde | 2017-02-09 | 9 | -0/+659 |
| - `certs` and `editor_fonts` go to `thirdparty` - `dist` and `scripts` go to a new `misc` folder - `collada` and `doc` go to `tools/editor` The next step will be to rename `tools/editor` to `editor` directly, but this will be done at the right time to avoid breaking too many PRs. | |||||
