leostera/minttea

Implement Margin and fix Padding on Spices

Open

#4 建立於 2023年12月14日

在 GitHub 查看
 (0 留言) (1 反應) (0 負責人)OCaml (32 fork)github user discovery
enhancementgood first issuehelp wanted

倉庫指標

Star
 (462 star)
PR 合併指標
 (PR 指標待抓取)

描述

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.

貢獻者指南