Terminal: Padding breaks mouse selection

Created on 10 May 2019  ·  3Comments  ·  Source: microsoft/terminal

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

Area-User Interface Issue-Bug Needs-Tag-Fix Product-Terminal

All 3 comments

I noticed this in 18362.86 as well. It's not as bad as in your case as I have set the padding to be 10, 10, 10, 10 only.

I believe @carlos-zamora is working on this :)

Yeah. It's off by the amount of padding. I have it in code review in our other system (still transitioning over to GitHub) so this'll be fixed soon. 😊

Was this page helpful?
0 / 5 - 0 ratings