diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2018-10-24 20:00:22 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2018-10-24 20:05:48 +0200 |
| commit | dee6a8b93c04a4e0798ba1c39cc6f01f5a5eb12d (patch) | |
| tree | f0cdb1430d5783e00cb8e8b34180ce5be18ca62e /platform/server/os_server.cpp | |
| parent | 8c37c1e98dfc17fd27aebc7dd56b7579785d7bf9 (diff) | |
Make editor tooltips wider and scale them on hiDPI displays
This also changes the TTR() call to avoid creating a duplicate
("Property:" is already used in other places).
Diffstat (limited to 'platform/server/os_server.cpp')
0 files changed, 0 insertions, 0 deletions