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.
editar: Windows build 10.0.18890.1000, apenas no caso de ser relevante
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. 😊