Padding breaks mouse selection #937

Open
opened 2026-01-30 22:11:56 +00:00 by claunia · 0 comments
Owner

Originally created by @ghvanderweg on GitHub (May 10, 2019).

Originally assigned to: @carlos-zamora on GitHub.

Adding padding to a profile (e.g. "padding": "20, 20, 20, 20") breaks selecting text with your mouse. The selection is offset with the padding.

terminal

edit: Windows build 10.0.18890.1000, just in case that's relevant

Originally created by @ghvanderweg on GitHub (May 10, 2019). Originally assigned to: @carlos-zamora on GitHub. Adding padding to a profile (e.g. `"padding": "20, 20, 20, 20"`) breaks selecting text with your mouse. The selection is offset with the padding. ![terminal](https://user-images.githubusercontent.com/16590775/57524702-dc18a700-7328-11e9-9c82-86577d1ba0aa.gif) edit: Windows build 10.0.18890.1000, just in case that's relevant
claunia added the Issue-BugNeeds-Tag-FixProduct-TerminalArea-UserInterface labels 2026-01-30 22:11:56 +00:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#937