44 |
private static GraphicsAPI gfxapi = null; |
private static GraphicsAPI gfxapi = null; |
45 |
private static String type; |
private static String type; |
46 |
|
|
47 |
|
/** Available mouse cursor, set after AWT by default, must |
48 |
|
* be overwritten in GL. |
49 |
|
*/ |
50 |
|
public static int CROSSHAIR_CURSOR = Cursor.CROSSHAIR_CURSOR; |
51 |
|
public static int DEFAULT_CURSOR = Cursor.DEFAULT_CURSOR; |
52 |
|
public static int E_RESIZE_CURSOR = Cursor.E_RESIZE_CURSOR; |
53 |
|
public static int HAND_CURSOR = Cursor.HAND_CURSOR; |
54 |
|
public static int MOVE_CURSOR = Cursor.MOVE_CURSOR; |
55 |
|
public static int N_RESIZE_CURSOR = Cursor.N_RESIZE_CURSOR; |
56 |
|
public static int NE_RESIZE_CURSOR = Cursor.NE_RESIZE_CURSOR; |
57 |
|
public static int NW_RESIZE_CURSOR = Cursor.NW_RESIZE_CURSOR; |
58 |
|
public static int S_RESIZE_CURSOR = Cursor.S_RESIZE_CURSOR; |
59 |
|
public static int SE_RESIZE_CURSOR = Cursor.SE_RESIZE_CURSOR; |
60 |
|
public static int SW_RESIZE_CURSOR = Cursor.SW_RESIZE_CURSOR; |
61 |
|
public static int TEXT_CURSOR = Cursor.TEXT_CURSOR; |
62 |
|
public static int W_RESIZE_CURSOR = Cursor.W_RESIZE_CURSOR; |
63 |
|
public static int WAIT_CURSOR = Cursor.WAIT_CURSOR; |
64 |
|
|
65 |
static private void init() { |
static private void init() { |
66 |
String cl = System.getProperty("vob.api"); |
String cl = System.getProperty("vob.api"); |
67 |
if(cl == null || cl.equals("awt")) { |
if(cl == null || cl.equals("awt")) { |
153 |
*/ |
*/ |
154 |
void setLocation(int x, int y, int w, int h) ; |
void setLocation(int x, int y, int w, int h) ; |
155 |
|
|
156 |
|
/** Sets the mouse cursors shape. |
157 |
|
*/ |
158 |
|
void setCursor(int shape); |
159 |
|
|
160 |
/** Set the event handler for the window. |
/** Set the event handler for the window. |
161 |
*/ |
*/ |