Terminal: El relleno interrumpe la selección del mouse

Creado en 10 may. 2019  ·  3Comentarios  ·  Fuente: microsoft/terminal

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.

terminal

editar: compilación de Windows 10.0.18890.1000, en caso de que sea relevante

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

Todos 3 comentarios

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. 😊

¿Fue útil esta página
0 / 5 - 0 calificaciones