mirror of
https://github.com/zed-industries/zed.git
synced 2024-12-31 21:36:26 +00:00
Make terminal.option_as_meta=false in default settings (#19364)
- This reverts the change I made in https://github.com/zed-industries/zed/pull/15535 which set `option_as_meta` to `true` in the default settings. - `true` is a reasonable default for US Keyboards, but is terrible for many others which rely on `alt+<key>` for totally normal keystroke combinations.
This commit is contained in:
parent
17f2929b4c
commit
4df882c295
2 changed files with 3 additions and 3 deletions
|
@ -151,7 +151,7 @@ pub struct TerminalSettingsContent {
|
|||
pub alternate_scroll: Option<AlternateScroll>,
|
||||
/// Sets whether the option key behaves as the meta key.
|
||||
///
|
||||
/// Default: true
|
||||
/// Default: false
|
||||
pub option_as_meta: Option<bool>,
|
||||
/// Whether or not selecting text in the terminal will automatically
|
||||
/// copy to the system clipboard.
|
||||
|
|
|
@ -1498,13 +1498,13 @@ List of `integer` column numbers
|
|||
"directories": [".env", "env", ".venv", "venv"],
|
||||
"activate_script": "default"
|
||||
}
|
||||
}
|
||||
},
|
||||
"env": {},
|
||||
"font_family": null,
|
||||
"font_features": null,
|
||||
"font_size": null,
|
||||
"line_height": "comfortable",
|
||||
"option_as_meta": true,
|
||||
"option_as_meta": false,
|
||||
"button": false,
|
||||
"shell": {},
|
||||
"toolbar": {
|
||||
|
|
Loading…
Reference in a new issue