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
Poommetee Ketson
e3998528e0
BuildSystem: generated files have .gen.extension
2017-06-25 07:55:01 +07:00
Juan Linietsky
95560e02c5
2D GPU Particles working..
2017-06-21 16:26:26 -03:00
Juan Linietsky
c1df35037f
get rid of button array
2017-06-14 18:27:44 -03: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
Rémi Verschelde
519df0d34d
Use new Godot icon consistently everywhere
2017-05-17 19:53:59 +02:00
Juan Linietsky
98a3296702
Removal of Image from Variant, converted to a Resource.
2017-05-17 07:37:45 -03: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
