8 commits

Author	SHA1	Message	Date
Juan Linietsky	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
Rémi Verschelde	b16c309f82	Update copyright statements to 2019 ... Happy new year to the wonderful Godot community!	2019-01-01 12:58:10 +01:00
luz.paz	08bde5b2de	Misc. typos ... Found via `codespell -q 3 -I ../godot-word-whitelist.txt --skip="./thirdparty,*.po"`	2018-09-12 21:39:17 -04:00
Rémi Verschelde	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
Viktor Ferenczi	272ecddb28	Properly closing all files in Python code	2018-03-11 14:55:50 +01:00
Rémi Verschelde	b50a9114b1	Update copyright statements to 2018 ... Happy new year to the wonderful Godot community!	2018-01-01 14:40:47 +01:00
Rémi Verschelde	c8aea60324	Improve documentation of thirdparty code snippets	2017-05-07 11:42:37 +02:00
Rémi Verschelde	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

Renamed from tools/editor/translations/extract.py (Browse further)