diff options
| author | Rouven Czerwinski <rouven@czerwinskis.de> | 2018-10-15 16:21:38 +0200 |
|---|---|---|
| committer | Rouven Czerwinski <rouven@czerwinskis.de> | 2018-10-16 15:47:02 +0200 |
| commit | 1f0aeae33591fb46b3f8a91ca91975daf2a8bbf9 (patch) | |
| tree | fa0f67fd7479c06dd4a21b2ce15ec7d864bc5432 /common | |
| parent | d69cf4c23c437b9ff724869f380e5c6cd03b091e (diff) | |
view: rewarp cursor during view_unmap
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.
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions