diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-10 15:45:47 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-10 15:45:52 +0100 |
| commit | ab56e79a6ac51371fce20f3e24542d7f3990b7a4 (patch) | |
| tree | 775c61d97f196623fd9c9c62e6fabaf39067ee45 /servers/navigation_server_3d.h | |
| parent | cac4cda89b34de9730ffde279e98120dfdb18fd0 (diff) | |
ProjectManager: Also set `gl_compatibility` for mobile override
It's a bit hacky as the choice mainly impacts the main setting, but there are
pre-existing overrides which supersede it. We should treat this checkbox as
the highest allowed rendering method, and replace the ones which would be
higher end (here replace `mobile` with the chosen `gl_compatibility`).
Diffstat (limited to 'servers/navigation_server_3d.h')
0 files changed, 0 insertions, 0 deletions