Juan Linietsky
|
4b5227ff77
|
-Ability to open resources in the same window
-Plenty of fixes and improvements to new inspector
-Fixes that were needed to make inspector work better
|
2018-05-17 18:03:05 -03:00 |
|
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 |
|