diff options
author | Kanabenki <18357657+Kanabenki@users.noreply.github.com> | 2018-11-22 16:21:07 +0100 |
---|---|---|
committer | Kanabenki <18357657+Kanabenki@users.noreply.github.com> | 2018-11-22 16:22:55 +0100 |
commit | 9dc15bae7cec07578984cbe9737831e1ebbdb0ad (patch) | |
tree | 111595a8216c82fe7bfa53a8ac46a4d2a38b127f /editor/project_export.h | |
parent | 11d77386221a4d911edee4fdbba5d3b9109a1c6b (diff) |
Display font size with zoom in code editor and refresh on settings change
Diffstat (limited to 'editor/project_export.h')
0 files changed, 0 insertions, 0 deletions