1 package org.glassbox.graphview;
2
3 import de.fzi.wim.guibase.graphview.view.AbstractManipulator;
4
5 import org.glassbox.Theme;
6 import org.glassbox.graphview.MouseMovementTracker;
7
8 import java.awt.*;
9 import java.awt.event.*;
10 import javax.swing.*;
11
12 /***
13 */
14 public class DefaultCursor extends AbstractManipulator {
15 public static final String NAME = "glassbox.DefaultCursor";
16
17 private Cursor _cursor;
18
19 public DefaultCursor(Cursor cursor) {
20 _cursor = cursor;
21 }
22
23 public String getName() {
24 return NAME;
25 }
26
27 public void mouseMoved(MouseEvent e) {
28 m_graphPane.setCursor(_cursor);
29 e.consume();
30 }
31 }