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
Daniel J. Ramirez
17c3422431
Added separators using StyleBoxLine, some theme style fixes, added variant icon
2017-07-18 01:09:19 -05:00
Daniel J. Ramirez
a3c2d9a6bd
Improvements and fixes for the default theme.
...
Added customizable border size and window highlight.
2017-07-16 13:23:59 -05:00
Daniel J. Ramirez
12db63df14
Added some missing icons, fixed some ui icons
2017-07-12 14:11:56 -05:00
Rémi Verschelde
231511b2a6
Merge pull request #8631 from volzhs/editor-theme-custom
...
New customizable editor theme
2017-05-20 07:16:11 +02:00
Rémi Verschelde
787dad5ac4
Adapt tutorials (Godot Docs) icon to new design
2017-05-17 21:22:01 +02:00
volzhs
bb81293047
New customizable editor theme
2017-05-09 17:46:54 +09:00
volzhs
17e8e343fb
Revert "Add new editor and default theme (WIP)"
...
This reverts commit f045efe007
2017-05-03 06:19:15 +09:00
Daniel J. Ramirez
f045efe007
Add new editor and default theme (WIP)
2017-04-27 08:04:57 +02: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
