godot.git/editor/plugins/style_box_editor_plugin.cpp, branch 3.0.1-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

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

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/

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.