*
* @param name
* the name of the manpulator
*/
public void removeManipulator(String name) {
Manipulator manipulator = m_manipulatorsByName.remove(name);
if (manipulator != null) {
m_manipulators.remove(manipulator);
manipulator.setGraphPane(null);
SWTManipulatorListener manipulatorListener = manipulatorListenerMap.get(manipulator);
if (manipulatorListener != null){
manipulatorListenerMap.remove(manipulator);
this.removeMouseListener(manipulatorListener);