diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2020-07-02 14:15:03 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2020-07-02 14:17:46 -0300 |
| commit | d3adc53ad9c50c9c042a4a4b03203442e758043b (patch) | |
| tree | 70312509c7dafde9b8d029cfd3bfc0ecff3d661c /main/main_builders.py | |
| parent | 67e4082b1e73f3cbe518c499eb328b0f68f3419b (diff) | |
Ensure cursor shape changes when exiting window, fixes #37724
Diffstat (limited to 'main/main_builders.py')
0 files changed, 0 insertions, 0 deletions