|
|
|
|
|
|
|
|
import java.util.Iterator; |
|
|
import java.util.Iterator; |
|
|
import java.util.Map; |
|
|
import java.util.Map; |
|
|
|
|
|
|
|
|
|
|
|
import com.google.gwt.dom.client.Document; |
|
|
import com.google.gwt.dom.client.Element; |
|
|
import com.google.gwt.dom.client.Element; |
|
|
import com.google.gwt.user.client.ui.RootPanel; |
|
|
import com.google.gwt.user.client.ui.RootPanel; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@Override |
|
|
@Override |
|
|
protected void cleanMeasuredSizes() { |
|
|
protected void cleanMeasuredSizes() { |
|
|
|
|
|
Document document = RootPanel.get().getElement().getOwnerDocument(); |
|
|
|
|
|
|
|
|
Iterator<Element> i = measuredSizes.keySet().iterator(); |
|
|
Iterator<Element> i = measuredSizes.keySet().iterator(); |
|
|
while (i.hasNext()) { |
|
|
while (i.hasNext()) { |
|
|
Element e = i.next(); |
|
|
Element e = i.next(); |
|
|
if (e.getOwnerDocument() != RootPanel.get().getElement() |
|
|
|
|
|
.getOwnerDocument()) { |
|
|
|
|
|
|
|
|
if (e.getOwnerDocument() != document) { |
|
|
i.remove(); |
|
|
i.remove(); |
|
|
} |
|
|
} |
|
|
} |
|
|
} |