Typing >= is auto-magically replaced with the math symbol for greater-equals #16417

Closed
opened 2026-01-31 05:08:01 +00:00 by claunia · 7 comments
Owner

Originally created by @doug-rosser on GitHub (Jan 16, 2022).

image

This type of "delight the user" user-interface enhancement is annoying. Please let me know how to turn this off UNIVERSALLY!

I'm trying to code and I can't figure out how to turn this off!

Originally created by @doug-rosser on GitHub (Jan 16, 2022). ![image](https://user-images.githubusercontent.com/6701351/149674898-8c87cf60-6c8e-4839-ad1d-8ead920486c8.png) This type of "delight the user" user-interface enhancement is annoying. Please let me know how to turn this off UNIVERSALLY! I'm trying to code and I can't figure out how to turn this off!
claunia added the Issue-QuestionNeeds-TriageNeeds-Tag-FixResolution-Answered labels 2026-01-31 05:08:01 +00:00
Author
Owner

@doug-rosser commented on GitHub (Jan 16, 2022):

I have tried turning off autocorrect universally in "Settings->Devices->Typing" but this is still happening.

@doug-rosser commented on GitHub (Jan 16, 2022): I have tried turning off autocorrect universally in "Settings->Devices->Typing" but this is still happening.
Author
Owner

@doug-rosser commented on GitHub (Jan 16, 2022):

Forgot to note, this is happening in WSL Ubuntu 20.04

@doug-rosser commented on GitHub (Jan 16, 2022): Forgot to note, this is happening in WSL Ubuntu 20.04
Author
Owner

@j4james commented on GitHub (Jan 16, 2022):

This is a feature of the font called "ligatures". If your font is set to Cascadia Code, try changing it to Cascadia Mono (which is the version without ligatures). You may also be able to disable that option for a font via the Font Features setting.

@j4james commented on GitHub (Jan 16, 2022): This is a feature of the font called "ligatures". If your font is set to _Cascadia Code_, try changing it to _Cascadia Mono_ (which is the version without ligatures). You may also be able to disable that option for a font via the [Font Features](https://docs.microsoft.com/en-us/windows/terminal/customize-settings/profile-appearance#font-features) setting.
Author
Owner

@doug-rosser commented on GitHub (Jan 16, 2022):

Confirmed fix. Who knew a font with "code" in the name could contain such a mis-feature?

@doug-rosser commented on GitHub (Jan 16, 2022): Confirmed fix. Who knew a font with "code" in the name could contain such a mis-feature?
Author
Owner

@lhecker commented on GitHub (Jan 17, 2022):

@doug-rosser I'm assuming your question has been answered? Feel free to reopen this issue if you'd like. 🙂

@lhecker commented on GitHub (Jan 17, 2022): @doug-rosser I'm assuming your question has been answered? Feel free to reopen this issue if you'd like. 🙂
Author
Owner

@doug-rosser commented on GitHub (Jan 17, 2022):

Closing. But if "Cascadia Code" is a default for Windows Terminal, it's asking for more trouble. Just my opinion.

@doug-rosser commented on GitHub (Jan 17, 2022): Closing. But if "Cascadia Code" is a default for Windows Terminal, it's asking for more trouble. Just my opinion.
Author
Owner

@lhecker commented on GitHub (Jan 17, 2022):

The default font is Cascadia Mono actually. This is the value for it.

@lhecker commented on GitHub (Jan 17, 2022): The default font is Cascadia Mono actually. [This is the value for it.](https://github.com/microsoft/terminal/blob/7061c54ac59c8469a00a6ce36334ba379ff704e9/src/inc/DefaultSettings.h#L29)
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#16417