diff options
| author | Adrián Medraño Calvo <adrian@medranocalvo.com> | 2018-10-21T12·00+0000 |
|---|---|---|
| committer | Adrián Medraño Calvo <adrian@medranocalvo.com> | 2018-10-21T12·00+0000 |
| commit | eb91ee2c77787bbeb1df74f0237f5087d031217f (patch) | |
| tree | 04f11fab01f26a1fe7ad0351299b0254870c06f6 /exwm-workspace.el | |
| parent | dba1ed94c2e06b46da77a2aa80aa35e17b08fdd6 (diff) | |
Restore keyboard grabbing after exiting fullscreen
Recover the difference between the input mode selected by the user and actual one, which might be transient. This was inadvertently removed in recent changes. * exwm-core.el (exwm--selected-input-mode): New variable. * exwm-input.el (exwm-input-grab-keyboard) (exwm-input-release-keyboard): Use it. * exwm-layout.el (exwm-layout-unset-fullscreen): Return to the selected input mode.
Diffstat (limited to 'exwm-workspace.el')
0 files changed, 0 insertions, 0 deletions