diff options
| author | Michael Davis | 2022-12-11 15:04:08 +0000 |
|---|---|---|
| committer | GitHub | 2022-12-11 15:04:08 +0000 |
| commit | cdc54f50a2ceb62c9f1c38b939ca988ff0e96855 (patch) | |
| tree | 2a4588b856bc4d526b3e1f4e4c34fb4eda1a0baf /.github | |
| parent | 70d78123b94d93c801171ac3dd29e2a493feee20 (diff) | |
Reset mode when changing buffers (#5072)
* Reset mode when changing buffers
This is similar to the change in
e4c9d4082a139aac3aea4506918171b96e81f5b9: reset the editor to normal
mode when changing buffers. Usually the editor is already in normal
mode but it's possible to setup insert-mode keybindings that change
buffers.
* Move normal mode entering code to Editor
This should be called internally in the Editor when changing documents
(Editor::switch) or changing focuses (Editor::focus).
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions