diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-14 18:11:55 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-14 18:11:55 +0200 |
| commit | 8f33542ac3661afdaea3850159598e1311f25a6f (patch) | |
| tree | aca64fa9919db7ff58b279f5b87e69598afd9467 /doc/tools/doc_status.py | |
| parent | c9df3fbfdb03d9d9fd6ba4740dcbd800e39a3e04 (diff) | |
ProjectSettings: Fix InputMap editor on HiDPI
Fixes #20898.
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions