72 |
public class VobMouseEvent { |
public class VobMouseEvent { |
73 |
public final static int MOUSE_PRESSED; |
public final static int MOUSE_PRESSED; |
74 |
public final static int MOUSE_RELEASED; |
public final static int MOUSE_RELEASED; |
75 |
|
public final static int MOUSE_CLICKED; |
76 |
|
public final static int MOUSE_DRAGGED; |
77 |
public final static int MOUSE_WHEEL; |
public final static int MOUSE_WHEEL; |
78 |
|
|
79 |
public final static int SHIFT_MASK; |
public final static int SHIFT_MASK; |
80 |
public final static int CONTROL_MASK; |
public final static int CONTROL_MASK; |
81 |
public final static int ALT_MASK; |
public final static int ALT_MASK; |
82 |
|
|
83 |
|
/** Corresponds to getID in MouseEvent. |
84 |
|
*/ |
85 |
public int getType(); |
public int getType(); |
86 |
public int getX(); |
public int getX(); |
87 |
public int getY(); |
public int getY(); |