3 commits

Author	SHA1	Message	Date
Juan Linietsky	b659fd6d74	Entirely new (and much improved) animation editor.	2018-06-07 12:52:00 -03:00
Guilherme Felipe	35024d4e7b	Add missing copyright headers	2018-05-16 14:50:44 -03:00
Juan Linietsky	005b69cf6e	-New inspector. ... -Changed UI resizing code, gained huge amount of speed. -Reorganized timer sync to clean up behavior (sorry forgot commit this before) -	2018-05-15 17:14:31 -03:00