diff options
| author | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-11-30 10:28:16 +0200 |
|---|---|---|
| committer | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-12-07 11:07:30 +0200 |
| commit | edf13eb5a635112c5df0aa81f11c8004274f62cf (patch) | |
| tree | 26b77c0f327ddde12b8bfe161a22ac63685200cd /editor | |
| parent | c241f1c52386b21cf2df936ee927740a06970db6 (diff) | |
Rename `window_get_real_size` to `window_get_size_with_decorations`, add `window_get_position_with_decorations`.
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions