Readd extra_padding_when_activated, with same functionality as margin/padding
Posted: Sun Apr 05, 2020 4:02 pm
In version 9.18.13, the option `LuaStyle::extra_padding_when_activated` got removed. It would be great, if this gets readded, with the same functionality as LuaStyle::margin/LuaStyle::padding.
This also can be added for `LuaStyle::extra_margin_when_activated`
Code: Select all
padding :: int or array of int [Write-only]
Sets top/right/bottom/left paddings to this value. An array with two values sets top/bottom padding to the first value and left/right padding to the second value. An array with four values sets top, right, bottom, left padding respectively.