Update all occurrences of option_as_meta to new default value (#19369)

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`).
This commit is contained in:
Finn Evers 2024-10-17 17:21:07 +02:00 committed by GitHub
parent 4be9da2641
commit e9e4c770ca
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 4 additions and 4 deletions

View file

@ -1732,7 +1732,7 @@ See Buffer Font Features
- Description: Re-interprets the option keys to act like a 'meta' key, like in Emacs.
- Setting: `option_as_meta`
- Default: `true`
- Default: `false`
**Options**