diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-02 12:24:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-02 12:24:13 +0200 |
| commit | 457108924f499b22df2438f12621a1aadbd240f1 (patch) | |
| tree | 41f7baa6cf20b14a2ab349fad937e8f9f82da08b /modules/gridmap/config.py | |
| parent | 737c90963f99c66d75d4372f02adaa6d82779644 (diff) | |
| parent | 9c5ce5cf58b951e4d19e367d51cb8451a21d1c20 (diff) | |
Merge pull request #21687 from Calinou/fix-osx-project-manager-size
Fix the project manager window size on hiDPI displays on macOS
Diffstat (limited to 'modules/gridmap/config.py')
0 files changed, 0 insertions, 0 deletions