private void startResizingFrom(int x, int y) {
isResizing = true;
onSplitterResizeStarted(x, y);
// Resize glassElem to take up the entire scrollable window area
int height = RootPanel.getBodyElement().getScrollHeight() - 1;
int width = RootPanel.getBodyElement().getScrollWidth() - 1;
glassElem.getStyle().setProperty("height", height + "px");
glassElem.getStyle().setProperty("width", width + "px");
RootPanel.getBodyElement().appendChild(glassElem);
}
private void stopResizing() {
isResizing = false;
RootPanel.getBodyElement().removeChild(glassElem);
}
