Eliminar um ramo é algo permanente. NÃO PODERÁ ser revertido. Quer continuar?
#9 Make the editor look nicer at larger window sizes
Fechadas
abertas há 6 anos por matt
·
3 comentários
Etiquetas
Etapa
Responsáveis
Sem responsáveis
2 Participantes
Notificações
Date limite
Sem data limite definida.
Dependências
Esta questão não tem quaisquer dependências, neste momento.
Carregando…
Ainda não há conteúdo.
Eliminar o ramo '%!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.