diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-06-20 11:33:51 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-06-20 11:33:51 -0300 |
| commit | a1e32a6f7d19a4a594e498fea250d0b65417c2c8 (patch) | |
| tree | 591d1ac965c1ca7dc65e35962923d9d5d320adeb /tools/editor/property_editor.cpp | |
| parent | 0e07f49a03cdf8bca5859e2a28bb68e4997005f4 (diff) | |
-Improved theme editor, when a new class is added, the members are created empty, closes #4619
-Made theme editor take less vertical space by using a scroll area
Diffstat (limited to 'tools/editor/property_editor.cpp')
0 files changed, 0 insertions, 0 deletions