Searched refs:divElement (Results 1 – 1 of 1) sorted by relevance
285 Element divElement = Document.get().getElementById(elementId); in divToPanel() local286 divElement.getParentElement().removeChild(divElement); in divToPanel()287 return new HTMLPanel(divElement.getInnerHTML()); in divToPanel()