leostera/minttea

Implement Margin and fix Padding on Spices

Open

#4 aberto em 14 de dez. de 2023

Ver no GitHub
 (0 comments) (1 reaction) (0 assignees)OCaml (32 forks)github user discovery
enhancementgood first issuehelp wanted

Métricas do repositório

Stars
 (462 stars)
Métricas de merge de PR
 (Métricas PR pendentes)

Description

At the moment the padding_* properties are happening after the styles are applied to the text, which means padding doesn't behave like you'd expect it to. If you add padding to something with background, the padded space doesn't have the background.

In the Spices.do_render private function there's a section where we're handling the padding, that would become about margin_* instead:

https://github.com/leostera/minttea/blob/main/spices/spices.ml#L120-L124

And then similar code for padding would be added earlier on that function, where we do the core rendering of the string.

Guia do colaborador

Direção de pesquisa
Examine a função `Spices.do render` para identificar onde o padding é atualmente aplicado, refatore o para margin e depois adicione o padding adequado antes de renderizar o texto.
Pilha de tecnologia
None
Domain
cli
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
GitOCaml
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
70