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

Added and improved some icons, plus some other minor visual fixes.

2017-10-12T19:43:11Z

Remove set_area_as_parent_rect and replace it by set_anchors_and_margins_preset(PRESET_WIDE)

2017-09-22T09:39:44Z

Rename pos to position in user facing methods and variables

2017-09-20T11:11:10Z

Rename user facing methods and variables as well as the corresponding C++ methods according to the folloming changes: * pos -> position * rot -> rotation * loc -> location C++ variables are left as is.

Fixed a lot of HiDPI metrics.

2017-09-18T19:48:15Z

update icons for animation_player_plugin (top bar)

2017-09-09T02:19:43Z

Dead code tells no tales

2017-08-27T20:13:45Z

Use HTTPS URL for Godot's website in the headers

2017-08-27T12:16:55Z

Cleanup tons of obsolete commented out code

2017-08-26T15:47:57Z

Mostly in EditorNode, dropping some obsolete editor plugins and also a cleanup of ProjectSettings/EditorSettings.

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/