385386387388389390391392393394395
public void onChanged(Object sender) { Padding p = padding.get(); if (p == null) { getElement().getStyle().setPadding(0.0, com.google.gwt.dom.client.Style.Unit.PX); } else { p.apply(getElement()); } requestLayout(); } }); padding.invalidate();
401402403404405406407408409410411
public void onChanged(Object sender) { Padding p = padding.get(); if (p == null) { getElement().getStyle().setPadding(0.0, com.google.gwt.dom.client.Style.Unit.PX); } else { p.apply(getElement()); } requestLayout(); } });