diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-10-03 20:34:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-03 20:34:52 +0200 |
| commit | 864772b900a81d49f5c660286ecf35b613f43412 (patch) | |
| tree | 6dbee2dbd5172626d5c3e09e5a71118a69961d01 /editor/editor_themes.h | |
| parent | 89d955615a4e33844d16d77dc62259b866339953 (diff) | |
| parent | 81fa121909f554157cff789354d6d0b32a90d296 (diff) | |
Merge pull request #22643 from akerudesu/dynamic_font_fallback
Fix oversampling of DynamicFont fallback fonts
Diffstat (limited to 'editor/editor_themes.h')
0 files changed, 0 insertions, 0 deletions