diff options
author | Chris Feng <chris.w.feng@gmail.com> | 2018-08-12T00·00+0000 |
---|---|---|
committer | Chris Feng <chris.w.feng@gmail.com> | 2018-08-12T00·00+0000 |
commit | 4d43e3119a2d0cb002d87340cd11c1d372ad126e (patch) | |
tree | a32c25b4bc96bc59159ea8cf6939616b0da843fe /exwm-core.el | |
parent | e6527227b387d08146963613ada37022ddf33d80 (diff) |
Avoid using `set-mouse-position' to warp pointer
* exwm-workspace.el (exwm-workspace-switch): Warp pointer with the WarpPointer request.
Diffstat (limited to 'exwm-core.el')
0 files changed, 0 insertions, 0 deletions