godot.git/editor/plugins/theme_editor_plugin.cpp, branch fix/use-bin-name

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

ThemeEditor: fix broken dialog

2017-07-27T07:17:02Z

Rename [gs]et_pos to [gs]et_position for Controls

2017-04-10T06:27:34Z

Control set_pos -> set_position Control set_global_pos -> set_global_position [gs]et_mouse_pos -> [gs]et_mouse_position [gs]et_global_mouse_pos -> [gs]et_global_mouse_position fixes #8005

Add "Godot Engine contributors" copyright line

2017-04-07T22:11:42Z

A Whole New World (clang-format edition)

2017-03-05T15:44:50Z

I can show you the code Pretty, with proper whitespace Tell me, coder, now when did You last write readable code? I can open your eyes Make you see your bad indent Force you to respect the style The core devs agreed upon A whole new world A new fantastic code format A de facto standard With some sugar Enforced with clang-format A whole new world A dazzling style we all dreamed of And when we read it through It's crystal clear That now we're in a whole new world of code

Refactoring: rename tools/editor/ to editor/

2017-03-05T13:21:25Z

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.