Terminal: Padding merusak pemilihan mouse

Dibuat pada 10 Mei 2019 · 3Komentar · Sumber: microsoft/terminal

Menambahkan padding ke profil (misalnya "padding": "20, 20, 20, 20" ) menghentikan pemilihan teks dengan mouse Anda. Pemilihan diimbangi dengan padding.

terminal

edit: Windows build 10.0.18890.1000, kalau-kalau itu relevan

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

Sumber

ghvanderweg

Semua 3 komentar

Saya perhatikan ini pada tahun 18362.86 juga. Ini tidak seburuk dalam kasus Anda karena saya telah mengatur padding menjadi 10, 10, 10, 10 saja.

mwidmann pada 10 Mei 2019

Saya percaya @ carlos-zamora sedang mengerjakan ini :)

zadjii-msft pada 10 Mei 2019

👍1

Ya. Ini off dengan jumlah padding. Saya memilikinya dalam tinjauan kode di sistem kami yang lain (masih dalam transisi ke GitHub) jadi ini akan segera diperbaiki. 😊