Three dots replaced with unicode character #7694

Open
opened 2026-01-31 01:10:31 +00:00 by claunia · 0 comments
Owner

Originally created by @vlovich on GitHub (Apr 25, 2020).

Environment

Microsoft Windows [Version 10.0.18363.657]
WSL1 Ubuntu 20.04

Steps to reproduce

Type three dots ... into terminal. Observe they get replaced by Unicode version . Spacing is off (especially noticeable in code viewed in vi). Similarly != is replaced by a single Unicode even though cursor underneath is really treating it as two separate ascii characters.

This happens when Windows Terminal is running cmd.exe too so it's independent of the shell. Maybe the default font has changed to make this weird?

Expected behavior

Really don't expect this, especially for monospace code.

Actual behavior

Automatic character substitution with Unicode "equivalents" that makes it hard to see what the spacing in code actually is.

Originally created by @vlovich on GitHub (Apr 25, 2020). # Environment Microsoft Windows [Version 10.0.18363.657] WSL1 Ubuntu 20.04 # Steps to reproduce Type three dots `...` into terminal. Observe they get replaced by Unicode version `…`. Spacing is off (especially noticeable in code viewed in vi). Similarly `!=` is replaced by a single Unicode `≠` even though cursor underneath is really treating it as two separate ascii characters. This happens when Windows Terminal is running cmd.exe too so it's independent of the shell. Maybe the default font has changed to make this weird? # Expected behavior Really don't expect this, especially for monospace code. # Actual behavior Automatic character substitution with Unicode "equivalents" that makes it hard to see what the spacing in code actually is.
claunia added the Resolution-By-DesignNeeds-TriageResolution-Duplicate labels 2026-01-31 01:10:31 +00:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#7694