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 | |
parent | 67e4082b1e73f3cbe518c499eb328b0f68f3419b (diff) |
Ensure cursor shape changes when exiting window, fixes #37724
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions