diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-06-16 20:04:33 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-06-16 20:05:22 -0300 |
| commit | 816b3fa94de91fb671b58d7cda57f10104a682da (patch) | |
| tree | 49482dc65c688694dc05410aa104960e9d875f76 /tools/editor/icons/icon_instance.png | |
| parent | c4c6797fc1d700f59ea8d4927d42c1838bcfb3b9 (diff) | |
It is now possible to set a default custom theme, whether you want a hidpi default theme, or just use a custom font for the default theme
Diffstat (limited to 'tools/editor/icons/icon_instance.png')
0 files changed, 0 insertions, 0 deletions