diff options
author | Elliott Lester <ElliottLester@users.noreply.github.com> | 2022-08-15 13:19:47 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-15 21:19:47 +0100 |
commit | 7c5e3cac6a36a41baea5e308cad7e74bbc6e1cbe (patch) | |
tree | 4f595b0eba6f78fc08a177980dbe8b70cebdc465 /src/server.cpp | |
parent | adc89f7977ae4b1e86cb413fb52406865150b064 (diff) | |
download | minetest-7c5e3cac6a36a41baea5e308cad7e74bbc6e1cbe.tar.xz |
Apply DPI Scaling to GUIModalMenu (#12693)
Co-authored-by: sfan5 <sfan5@live.de>
Diffstat (limited to 'src/server.cpp')
0 files changed, 0 insertions, 0 deletions