diff --git a/assets/settings/default.json b/assets/settings/default.json index 95ba08c9d56ba11a4107897a08be64a0e00ba98c..f1bbbc52c34597de41b09ad05c67074d4aba7f89 100644 --- a/assets/settings/default.json +++ b/assets/settings/default.json @@ -122,6 +122,14 @@ // 2. Default alternate scroll mode to off // "alternate_scroll": "off", "alternate_scroll": "off", + // Set whether the option key behaves as the meta key. + // May take 2 values: + // 1. Rely on default platform handling of option key, on macOS + // this means generating certain unicode characters + // "option_to_meta": false, + // 2. Make the option keys behave as the meta key + // "option_to_meta": true, + "option_as_meta": false, // Any key-value pairs added to this list will be added to the terminal's // enviroment. Use `:` to seperate multiple values. "env": { diff --git a/crates/settings/src/settings.rs b/crates/settings/src/settings.rs index 1095f289ebb94382449ea346e6af827331fc0e32..9622387c208eeb42b8db7e1bd9e34c352d62cc57 100644 --- a/crates/settings/src/settings.rs +++ b/crates/settings/src/settings.rs @@ -98,6 +98,7 @@ pub struct TerminalSettings { pub env: Option>, pub blinking: Option, pub alternate_scroll: Option, + pub option_as_meta: Option, } #[derive(Clone, Debug, Deserialize, PartialEq, Eq, JsonSchema)]