diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-09-23 16:56:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-23 16:56:52 +0200 |
commit | 5eb4965050b527924b2edd24119819126121c52f (patch) | |
tree | 05cb25e8eb287ca42433db482e0a1403b82010d5 /editor/editor_resource_preview.h | |
parent | 46af050e93ddda77fd6316b0d041b8e9e6f0cd49 (diff) | |
parent | b7bc339011203e924fcf23432f81e53427325563 (diff) |
Merge pull request #11512 from Zylann/custom_font_setting
Allow to set a custom DynamicFont in editor settings
[ci skip]
Diffstat (limited to 'editor/editor_resource_preview.h')
0 files changed, 0 insertions, 0 deletions