4 commits

Author	SHA1	Message	Date
Mateus Felipe C. C. Pinto	e7968954e8	Change color of AnimationPlayer curve to "highlight" ... This is to be consistent with Curve editor and to be less confusing related to tangent lines color.	2018-12-18 13:46:03 -02:00
willnationsdev	5436abefe4	Refactor editor icon retrieval	2018-09-14 09:27:56 -05:00
Rémi Verschelde	9eb4d4ab2d	Add missing copyright headers	2018-08-29 22:41:17 +02:00
Juan Linietsky	b659fd6d74	Entirely new (and much improved) animation editor.	2018-06-07 12:52:00 -03:00