final boolean hasChildren = getWidget() != null;
Element contentEl = null;
String origPositioning = null;
- // save scroll position
- int scrollTop = DOM.getElementPropertyInt(contentNode, "scrollTop");
- int scrollLeft = DOM.getElementPropertyInt(contentNode,
- "scrollLeft");
+
if (hasChildren) {
// Remove children temporary form normal flow to detect proper
// size
"scrollLeft");
if (client != null
&& (newscrollLeft != scrollLeft || newscrollTop != scrollTop)) {
- ApplicationConnection.getConsole().log("scrollded panel");
scrollLeft = newscrollLeft;
scrollTop = newscrollTop;
client.updateVariable(id, "scrollTop", scrollTop, false);