159 commits

Author	SHA1	Message	Date
Rémi Verschelde	d664469ec7	Fix inability to change project settings ... Regression from 565600e844, fixes #10712.	2017-08-28 18:15:46 +02:00
Rémi Verschelde	bd282ff43f	Use HTTPS URL for Godot's website in the headers	2017-08-27 14:16:55 +02:00
Rémi Verschelde	565600e844	Cleanup tons of obsolete commented out code ... Mostly in EditorNode, dropping some obsolete editor plugins and also a cleanup of ProjectSettings/EditorSettings.	2017-08-26 17:47:57 +02:00
Poommetee Ketson	e705236ad6	Fix typo 'an setting' to 'a setting'	2017-08-26 17:57:32 +07:00
Andreas Haas	6134d8741d	Editor: Add some more translatable strings.	2017-08-25 18:49:45 +02:00
Hein-Pieter van Braam	cacced7e50	Convert Object::cast_to() to the static version ... Currently we rely on some undefined behavior when Object->cast_to() gets called with a Null pointer. This used to work fine with GCC < 6 but newer versions of GCC remove all codepaths in which the this pointer is Null. However, the non-static cast_to() was supposed to be null safe. This patch makes cast_to() Null safe and removes the now redundant Null checks where they existed. It is explained in this article: https://www.viva64.com/en/b/0226/	2017-08-24 23:08:24 +02:00
Daniel J. Ramirez	273d2ab9d4	Several ui improvements (mostly margins) ... Improved colors Added some missing icons	2017-08-08 11:44:37 -05:00
Daniel J. Ramirez	cd8feed0df	Some theme and usability improvements ... Fixed create script editor dialog not changing extension Options menu for inspector element is bigger	2017-07-31 13:19:45 -05:00
Juan Linietsky	25678b1876	-Renamed GlobalConfig to ProjectSettings, makes more sense. ... -Added system for feature overrides, it's pretty cool :)	2017-07-19 17:06:03 -03:00

Renamed from editor/project_settings.cpp (Browse further)