Skip to content

Make terminal.option_as_meta=false in default settings#19364

Merged
notpeter merged 1 commit intomainfrom revert_alt_as_metaOct 17, 2024

Commits

Commits on Oct 17, 2024