Poommetee Ketson
ed606ded52
Fix files header
2017-09-01 21:07:55 +07:00
Rémi Verschelde
d664469ec7
Fix inability to change project settings
...
Regression from 565600e844fixes #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
