godot.git/editor/plugins/theme_editor_plugin.cpp, branch 3.0-stable

Add missing copyright headers and fix formatting

2018-01-05T00:22:23Z

Using `misc/scripts/fix_headers.py` on all Godot files. Some missing header guards were added, and the header inclusion order was fixed in the Bullet module.

Update copyright statements to 2018

2018-01-01T13:40:47Z

Happy new year to the wonderful Godot community!

Add more translatable text for editor plugins.

2017-12-23T14:40:15Z

Add menu to import current editor theme into theme editor

2017-11-07T05:32:04Z

Change theme button name to edit theme

2017-10-22T09:54:37Z

[ci skip]

Remove set_area_as_parent_rect and replace it by set_anchors_and_margins_preset(PRESET_WIDE)

2017-09-22T09:39:44Z

Use HTTPS URL for Godot's website in the headers

2017-08-27T12:16:55Z

Editor: Add some more translatable strings.

2017-08-25T16:49:45Z

Convert Object::cast_to() to the static version

2017-08-24T21:08:24Z

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/

Makes all Godot API's methods Lower Case

2017-08-07T11:24:35Z