Both margin and padding can be set

pull/212/head
M66B 2 years ago
parent 3f9fcbb0f1
commit c4394cb2d4

@ -1001,9 +1001,10 @@ public class HtmlHelper {
else if (key.endsWith("bottom")) else if (key.endsWith("bottom"))
p[0] = null; p[0] = null;
if (p[0] != null) // Both margin and padding can be set
if (p[0] != null && !"true".equals(element.attr("x-line-before")))
element.attr("x-line-before", Boolean.toString(p[0] > 0.5)); element.attr("x-line-before", Boolean.toString(p[0] > 0.5));
if (p[2] != null) if (p[2] != null && !"true".equals(element.attr("x-line-after")))
element.attr("x-line-after", Boolean.toString(p[2] > 0.5)); element.attr("x-line-after", Boolean.toString(p[2] > 0.5));
} }
break; break;

Loading…
Cancel
Save