\r
}\r
\r
- private void updateMargins(MarginInfo newMargins) {\r
- if (newMargins.equals(activeMarginsInfo)) {\r
- return;\r
- }\r
-\r
+ private void updateMargins(MarginInfo newMarginInfo) {\r
// Update active margins\r
- activeMarginsInfo = newMargins;\r
- if (newMargins.hasTop()) {\r
+ activeMarginsInfo = newMarginInfo;\r
+ if (newMarginInfo.hasTop()) {\r
activeMargins.setMarginTop(marginsFromCSS.getMarginTop());\r
} else {\r
activeMargins.setMarginTop(0);\r
}\r
- if (newMargins.hasBottom()) {\r
+ if (newMarginInfo.hasBottom()) {\r
activeMargins.setMarginBottom(marginsFromCSS.getMarginBottom());\r
} else {\r
activeMargins.setMarginBottom(0);\r
}\r
- if (newMargins.hasLeft()) {\r
+ if (newMarginInfo.hasLeft()) {\r
activeMargins.setMarginLeft(marginsFromCSS.getMarginLeft());\r
} else {\r
activeMargins.setMarginLeft(0);\r
}\r
- if (newMargins.hasRight()) {\r
+ if (newMarginInfo.hasRight()) {\r
activeMargins.setMarginRight(marginsFromCSS.getMarginRight());\r
} else {\r
activeMargins.setMarginRight(0);\r
DOM.setStyleAttribute(root, "marginBottom", activeMargins\r
.getMarginBottom()\r
+ "px");\r
-\r
+ \r
}\r
\r
protected boolean measureMarginsAndSpacing(String styleName,\r
\r
root.removeChild(measurement);\r
\r
+ updateMargins(activeMarginsInfo);\r
return true;\r
}\r
\r