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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions