/// <summary> /// Changes the active manipulatormanager /// </summary> public void SetManipulator(ManipulatorManagerTypes manipulator) { if (manipulator != ManipulatorManagerTypes.Default) { _previousType = manipulator; } Map.EventPublisher.Deselect(this); CurrentManipulator = _manipulators[manipulator]; CurrentManipulator.Initialize(); Map.EventPublisher.ChangeManipulator(this, new ManipulatorEventArgs(manipulator)); }
public ManipulatorEventArgs(ManipulatorManagerTypes type) { _type = type; }