diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-02-14 00:42:34 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-14 00:42:34 +0100 |
commit | e7351ecdf5f14f1b6a8733f91fd90646406d77a5 (patch) | |
tree | 39e467fb7c19575c1a33539a475396115af2b01b /thirdparty/fonts | |
parent | 569431585cc65f2d485820db0f7e628498410912 (diff) | |
parent | 55a2bffac9ca2db40f5bd1dfad0e1c3b28400171 (diff) |
Merge pull request #16407 from Calinou/project-manager-allow-hidpi
Always detect and use hiDPI in the project manager if needed
Diffstat (limited to 'thirdparty/fonts')
0 files changed, 0 insertions, 0 deletions