DragHandler.java

package jetbrains.mps.lang.editor.diagram.runtime.jetpad.views;

/*Generated by MPS */

import jetbrains.jetpad.geometry.Vector;

public interface DragHandler {
  void dragStarted(Vector position);
  void updatePosition(Vector position);
  void dragStopped(Vector position);
}