void InitIncrementalDragger() { incrementalDragger = new IncrementalDragger(objectsToDrag.OfType <GeomNode>().ToArray(), graph, layoutSettings); }
internal void ForgetDragging() { incrementalDragger = null; }