/**
*
*/
package agg.gui.editor;
import java.awt.event.MouseEvent;
import java.awt.event.MouseMotionListener;
/**
* @author olga
*
*/
public class GraphMorphismEditorMouseMotionAdapter implements MouseMotionListener {
private final GraphMorphismEditor editor;
public GraphMorphismEditorMouseMotionAdapter(final GraphMorphismEditor editor) {
this.editor = editor;
this.editor.addMouseMotionListener(this);
}
public void mouseMoved(MouseEvent e) {
}
public void mouseDragged(MouseEvent e) {
}
}