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 /helix-tui/src/backend/mod.rs | |
| 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 'helix-tui/src/backend/mod.rs')
| -rw-r--r-- | helix-tui/src/backend/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/helix-tui/src/backend/mod.rs b/helix-tui/src/backend/mod.rs index 6d7c3894..6994bc6f 100644 --- a/helix-tui/src/backend/mod.rs +++ b/helix-tui/src/backend/mod.rs @@ -14,6 +14,7 @@ pub use self::test::TestBackend; pub trait Backend { fn claim(&mut self, config: Config) -> Result<(), io::Error>; + fn reconfigure(&mut self, config: Config) -> Result<(), io::Error>; fn restore(&mut self, config: Config) -> Result<(), io::Error>; fn force_restore() -> Result<(), io::Error>; fn draw<'a, I>(&mut self, content: I) -> Result<(), io::Error> |