a20235aeb0
Add ability to edit editor feature profiles
...
Allows enabling/disabling parts of the editor and storing/loading profiles for that.
2019-04-08 19:18:51 -03:00
b16c309f82
Update copyright statements to 2019
...
Happy new year to the wonderful Godot community!
2019-01-01 12:58:10 +01:00
08bde5b2de
Misc. typos
...
Found via `codespell -q 3 -I ../godot-word-whitelist.txt --skip="./thirdparty,*.po"`
2018-09-12 21:39:17 -04:00
d1497b720e
i18n: Fix extract.py after #17440
...
As discussed in https://github.com/godotengine/godot/pull/17440#discussion_r212277597
2018-08-23 14:43:41 +02:00
272ecddb28
Properly closing all files in Python code
2018-03-11 14:55:50 +01:00
b50a9114b1
Update copyright statements to 2018
...
Happy new year to the wonderful Godot community!
2018-01-01 14:40:47 +01:00
c8aea60324
Improve documentation of thirdparty code snippets
2017-05-07 11:42:37 +02:00
49c065d29c
Refactoring: rename tools/editor/ to editor/
...
The other subfolders of tools/ had already been moved to either
editor/, misc/ or thirdparty/, so the hiding the editor code that
deep was no longer meaningful.
2017-03-05 14:21:25 +01:00
Juan Linietsky
Rémi Verschelde
luz.paz
Viktor Ferenczi