diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-08-13 12:22:58 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-13 12:22:58 +0200 |
commit | 8cbd0902494707adeb41566b03ab7bc31921ae12 (patch) | |
tree | 808c9a615c895460ffafe8a90283a3dcb6b0e874 /servers/visual_server.cpp | |
parent | 652eb9347cb90ec02a842dcd53ccd17a5e1e207d (diff) | |
parent | cbe95970217d7a9727dc1b4c9dfb6d3dab37a2bc (diff) |
Merge pull request #20670 from Calinou/script-editor-zoom-hidpi
Fix zoom display in the script editor on hiDPI displays
Diffstat (limited to 'servers/visual_server.cpp')
0 files changed, 0 insertions, 0 deletions