Commit Graph

354 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