Closed hans-d closed 1 year ago
Spacing elements are defined by the active/inactive face no? I failed to see the difference in the screenshot.
Can you rebase your PR?
rebased / squashed
Thanks. Only one comment on right-margin-width.
i've noticed that one is needed, as some trailing odd background is visible. (I have a right-margin-width > 0)
I was suggesting right-margin-width
-> (or right-margin-width 0)
Great fix, thanks!