equal
deleted
inserted
replaced
67 public X11GraphicsDevice(int screennum) { |
67 public X11GraphicsDevice(int screennum) { |
68 this.screen = screennum; |
68 this.screen = screennum; |
69 this.scale = initScaleFactor(); |
69 this.scale = initScaleFactor(); |
70 } |
70 } |
71 |
71 |
72 /* |
|
73 * Initialize JNI field and method IDs for fields that may be |
|
74 * accessed from C. |
|
75 */ |
|
76 private static native void initIDs(); |
|
77 |
|
78 /** |
72 /** |
79 * Returns the X11 screen of the device. |
73 * Returns the X11 screen of the device. |
80 */ |
74 */ |
81 public int getScreen() { |
75 public int getScreen() { |
82 return screen; |
76 return screen; |