Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make terminal.option_as_meta=false in default settings #19364

Merged
merged 1 commit into from
Oct 17, 2024

Conversation

notpeter
Copy link
Member

@notpeter notpeter commented Oct 17, 2024

This reverts the change I made in #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.

Our intention is to support individual mapping of left_alt / right_alt actions (e.g. meta / alt) as part of the work discussed here:

Release Notes:

  • Settings: Change terminal.option_as_meta default from true to false for better out-of-the-box experience on non-US keyboards. Terminal Emacs users will want to set this to true.

@cla-bot cla-bot bot added the cla-signed The user has signed the Contributor License Agreement label Oct 17, 2024
@zed-industries-bot
Copy link

Messages
📖

This PR includes links to the following GitHub Issues: #17057, #16730, #15964, #19201
If this PR aims to close an issue, please include a Closes #ISSUE line at the top of the PR body.

Generated by 🚫 dangerJS against 322920a

@notpeter notpeter merged commit 4df882c into main Oct 17, 2024
12 checks passed
@notpeter notpeter deleted the revert_alt_as_meta branch October 17, 2024 14:31
notpeter pushed a commit that referenced this pull request Oct 17, 2024
This PR is a quick follow-up to #19364 which updates some left-out
occurrences of `option_as_meta` to the new default value (`false`).
noaccOS pushed a commit to noaccOS/zed that referenced this pull request Oct 19, 2024
…s#19364)

- This reverts the change I made in zed-industries#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.
noaccOS pushed a commit to noaccOS/zed that referenced this pull request Oct 19, 2024
…industries#19369)

This PR is a quick follow-up to zed-industries#19364 which updates some left-out
occurrences of `option_as_meta` to the new default value (`false`).
osiewicz pushed a commit that referenced this pull request Oct 22, 2024
- This reverts the change I made in #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.
osiewicz pushed a commit that referenced this pull request Oct 22, 2024
This PR is a quick follow-up to #19364 which updates some left-out
occurrences of `option_as_meta` to the new default value (`false`).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cla-signed The user has signed the Contributor License Agreement
Projects
None yet
2 participants