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 を返します。
マージン幅を取得するにはどうすればよいですか?
返信ありがとうございます。
よろしく