Terminal: O preenchimento quebra a seleção do mouse

Criado em 10 mai. 2019  ·  3Comentários  ·  Fonte: microsoft/terminal

Adicionar preenchimento a um perfil (por exemplo, "padding": "20, 20, 20, 20" ) interrompe a seleção de texto com o mouse. A seleção é compensada com o preenchimento.

terminal

editar: Windows build 10.0.18890.1000, apenas no caso de ser relevante

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

Todos 3 comentários

Também notei isso em 18362,86. Não é tão ruim quanto no seu caso, pois configurei o preenchimento para ser 10, 10, 10, 10 apenas.

Eu acredito que @ carlos-zamora está trabalhando nisso :)

Sim. Está desligado pela quantidade de preenchimento. Eu o tenho em revisão de código em nosso outro sistema (ainda em transição para o GitHub), então isso será corrigido em breve. 😊

Esta página foi útil?
0 / 5 - 0 avaliações