mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-26 18:41:10 +00:00
WIP began changing key modifiers
This commit is contained in:
parent
0fca4d02ec
commit
7c6769b392
2 changed files with 9 additions and 0 deletions
|
@ -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": {
|
||||
|
|
|
@ -98,6 +98,7 @@ pub struct TerminalSettings {
|
|||
pub env: Option<HashMap<String, String>>,
|
||||
pub blinking: Option<TerminalBlink>,
|
||||
pub alternate_scroll: Option<AlternateScroll>,
|
||||
pub option_as_meta: Option<bool>,
|
||||
}
|
||||
|
||||
#[derive(Clone, Debug, Deserialize, PartialEq, Eq, JsonSchema)]
|
||||
|
|
Loading…
Reference in a new issue