4 Commits

Author	SHA1	Message	Date
Rémi Verschelde	9c5dfdaf06	Merge pull request #18938 from guilhermefelipecgs/missing_header ... Add missing copyright headers	2018-05-16 22:50:09 +02:00
Guilherme Felipe	35024d4e7b	Add missing copyright headers	2018-05-16 14:50:44 -03:00
Juan Linietsky	e62e7fd768	Properly show the property name on tooltip	2018-05-16 14:00:11 -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