我在 CSS 中为面板设置了边距。现在我需要在 GWT 中获取边距宽度。我怎么能这样做?比如我给面板设置了一个css样式
<ui:binder>
.panel{
margin: 5px;
}
<g:HTMLPanel Ui:field=myPanel styleName="{style.panel}" />
</ui:binder>
在 GWT 2.4 中,如何在 GWT 类中检索边距值(5px)。我已经厌倦了这些,DOM.getIntStyleAttribute(myPanel.getElement(), "margin"), DOM.getIntStyleAttribute(myPanel.getElement(), "marginWidth") 和 myPanel.getElement().getStyle().getMargin()。所有这些都返回 0。
那我怎样才能得到边距宽度呢?
感谢回复。
问候