I believe getElement().getStyle().getPadding() will only get inline styles, not ones from stylesheets.
As far as the answer to your question, I'd like to know myself. That would be very useful to know how to get the padding etc of a widget. -- You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.
