2 Commits

Author	SHA1	Message	Date
Daniel J. Ramirez	cd8feed0df	Some theme and usability improvements ... Fixed create script editor dialog not changing extension Options menu for inspector element is bigger	2017-07-31 13:19:45 -05:00
Rémi Verschelde	49c065d29c	Refactoring: rename tools/editor/ to editor/ ... The other subfolders of tools/ had already been moved to either editor/, misc/ or thirdparty/, so the hiding the editor code that deep was no longer meaningful.	2017-03-05 14:21:25 +01:00