Agregar relleno a un perfil (por ejemplo, "padding": "20, 20, 20, 20"
) interrumpe la selección de texto con el mouse. La selección se compensa con el relleno.
editar: compilación de Windows 10.0.18890.1000, en caso de que sea relevante
También noté esto en 18362.86. No es tan malo como en su caso, ya que configuré el relleno para que sea solo 10, 10, 10, 10
.
Creo que @ carlos-zamora está trabajando en esto :)
Si. Está apagado por la cantidad de relleno. Lo tengo en revisión de código en nuestro otro sistema (aún en transición a GitHub), así que esto se solucionará pronto. 😊