Adjust style.margin and style.padding to be more like in CSS
Posted: Mon Jun 17, 2019 10:35 pm
Hi,
since 0.17.46 we have the possibility to use style.margin and style.padding on elements to set all of their directions. It would be great to have the possibility to also set different values to the sites with only this shortcut. I have CSS (Cascadian Style Sheet) in minde, so:
since 0.17.46 we have the possibility to use style.margin and style.padding on elements to set all of their directions. It would be great to have the possibility to also set different values to the sites with only this shortcut. I have CSS (Cascadian Style Sheet) in minde, so:
Code: Select all
style.padding = 1
results in:
style.top_margin = 1
style.right_margin = 1
style.bottom_margin = 1
style.left_margin = 1
Code: Select all
style.padding = {1, 2}
results in:
style.top_margin = 1
style.right_margin = 2
style.bottom_margin = 1
style.left_margin = 2
Code: Select all
style.padding = {1, 2, 3, 4}
results in:
style.top_margin = 1
style.right_margin = 2
style.bottom_margin = 3
style.left_margin = 4
