Commit Graph

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