public void onMouseDown(MouseDownEvent event) {
setMouseDown(true);
updateCSS();
DOM.setCapture(view.getElement());
dragStartX = event.getX();
dragStartY = event.getY();
event.preventDefault();
}
public void onMouseDown(@Nonnull final MouseDownEvent event) {
dragging = true;
// capturing the mouse to the dragged widget.
DOM.setCapture(container.getElement());
startY = event.getY();
ClientLog.log("DOWN", null);
event.stopPropagation();
event.preventDefault();
originalStyle = widget.getElement().getAttribute("style");
}