diff options
| author | Michael Davis | 2023-04-21 03:53:27 +0000 |
|---|---|---|
| committer | GitHub | 2023-04-21 03:53:27 +0000 |
| commit | ee7413a3fd723015843e569924abbfbf32b56182 (patch) | |
| tree | 2452a41519061ccff8084daf8d6acaad8a32e69e /.github/workflows | |
| parent | 78088ac18510754c9aac27c162e4d81890a11a82 (diff) | |
tui: Allow toggling mouse capture at runtime (#6675)
This picks up changes to the `editor.mouse` option at runtime - either
through `:set-option` or `:config-reload`. When the value changes, we
tell the terminal to enable or disable mouse capture sequences.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions