added alt as meta setting

2022-09-12 23:22:55 -07:00 · 2022-09-12 23:22:55 -07:00 · 9c42b92663
commit 9c42b92663
parent 7c6769b392
4 changed files with 79 additions and 34 deletions
--- a/crates/terminal/src/terminal_element.rs
+++ b/crates/terminal/src/terminal_element.rs
@ -775,7 +775,15 @@ impl Element for TerminalElement {
                self.terminal
                    .upgrade(cx.app)
                    .map(|model_handle| {
-                        model_handle.update(cx.app, |term, _| term.try_keystroke(keystroke))
+                        model_handle.update(cx.app, |term, cx| {
+                            term.try_keystroke(
+                                keystroke,
+                                cx.global::<Settings>()
+                                    .terminal_overrides
+                                    .option_as_meta
+                                    .unwrap_or(false),
+                            )
+                        })
                    })
                    .unwrap_or(false)
            }