231511b2a6
Merge pull request #8631 from volzhs/editor-theme-custom
...
New customizable editor theme
2017-05-20 07:16:11 +02:00
787dad5ac4
Adapt tutorials (Godot Docs) icon to new design
2017-05-17 21:22:01 +02:00
519df0d34d
Use new Godot icon consistently everywhere
2017-05-17 19:53:59 +02:00
bb81293047
New customizable editor theme
2017-05-09 17:46:54 +09:00
17e8e343fb
Revert "Add new editor and default theme (WIP)"
...
This reverts commit f045efe007
2017-05-03 06:19:15 +09:00
f045efe007
Add new editor and default theme (WIP)
2017-04-27 08:04:57 +02:00
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
Rémi Verschelde
volzhs
Daniel J. Ramirez