diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-12-07 14:29:46 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-12-07 14:29:46 +0100 |
commit | 0a3f66471ed79d9b1852150cb059f20f841d46d9 (patch) | |
tree | 3fa41499970c449b5c7062b03182a94ab88208a5 /core/os | |
parent | 39ad411369f554d44ec4bf4723995374e0bde156 (diff) | |
parent | edf13eb5a635112c5df0aa81f11c8004274f62cf (diff) |
Merge pull request #69712 from bruvzg/real_size
Rename `window_get_real_size`, add position counterpart.
Diffstat (limited to 'core/os')
0 files changed, 0 insertions, 0 deletions