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/terminal.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/terminal.rs')
-rw-r--r-- | helix-tui/src/terminal.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/helix-tui/src/terminal.rs b/helix-tui/src/terminal.rs index 802a8c1d..8b734275 100644 --- a/helix-tui/src/terminal.rs +++ b/helix-tui/src/terminal.rs @@ -116,6 +116,10 @@ where self.backend.claim(config) } + pub fn reconfigure(&mut self, config: Config) -> io::Result<()> { + self.backend.reconfigure(config) + } + pub fn restore(&mut self, config: Config) -> io::Result<()> { self.backend.restore(config) } |