If the cursor is warped during the destruction of the workspace, we end up in the wrong position. Warp the cursor after arrange_workspace() so we end up in the correct position.master
parent
d69cf4c23c
commit
1f0aeae335
Loading…
Reference in new issue