From 56a20517651640616a28dc830871556499142137 Mon Sep 17 00:00:00 2001 From: Peter Tripp Date: Thu, 17 Oct 2024 10:31:35 -0400 Subject: [PATCH] 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+` for totally normal keystroke combinations. --- crates/terminal/src/terminal_settings.rs | 2 +- docs/src/configuring-zed.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/crates/terminal/src/terminal_settings.rs b/crates/terminal/src/terminal_settings.rs index 51b8207f576d6..e48e23b141c26 100644 --- a/crates/terminal/src/terminal_settings.rs +++ b/crates/terminal/src/terminal_settings.rs @@ -151,7 +151,7 @@ pub struct TerminalSettingsContent { pub alternate_scroll: Option, /// Sets whether the option key behaves as the meta key. /// - /// Default: true + /// Default: false pub option_as_meta: Option, /// Whether or not selecting text in the terminal will automatically /// copy to the system clipboard. diff --git a/docs/src/configuring-zed.md b/docs/src/configuring-zed.md index 37d86e6481978..1a791bed012b8 100644 --- a/docs/src/configuring-zed.md +++ b/docs/src/configuring-zed.md @@ -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": {