leostera/minttea

Implement Margin and fix Padding on Spices

Open

#4 ouverte le 14 déc. 2023

Voir sur GitHub
 (0 commentaires) (1 réaction) (0 assignés)OCaml (32 forks)github user discovery
enhancementgood first issuehelp wanted

Métriques du dépôt

Stars
 (462 stars)
Métriques de merge PR
 (Métriques PR en attente)

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.

Guide contributeur

Direction de recherche
Examinez la fonction `Spices.do render` pour identifier l'endroit où le padding est actuellement appliqué, refactorisez le en margin, puis ajoutez le padding approprié avant de rendre le texte.
Stack technique
Aucun
Domaine
cli
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
GitOCaml
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
70