Eliminar una rama es permanente. NO PUEDE deshacerse. ¿Continuar?
#9 Make the editor look nicer at larger window sizes
Cerrada
abierta hace 6 años por matt
·
3 comentarios
Etiquetas
Milestone
Asignados
No asignados
2 participantes
Notificaciones
Fecha de vencimiento
Sin fecha de vencimiento.
Dependencias
Esta incidencia actualmente no tiene ninguna dependencia.
Cargando…
Aún no existe contenido.
Eliminar la rama con el nombre '%!s(MISSING)'
In the same way the web editor keeps the width of the text constrained with plenty of space on the sides, it would be nice to do this in the GTK app -- especially as the window grows in width beyond 800 pixels.
The documentation claims that percentages are supported, but when I attempt to use those it just makes the styling worse. And I believe you’ve experienced similar issues.
At the same time it’s always possible to manually calculate the paddings, but that would take a bit of effort I don’t have time for right now.
Woops, closed wrong one.
Fixed this by manually computing the padding and recomputing it upon resize.