42 |
import java.awt.DisplayMode; |
import java.awt.DisplayMode; |
43 |
import java.awt.GraphicsConfiguration; |
import java.awt.GraphicsConfiguration; |
44 |
import java.awt.GraphicsDevice; |
import java.awt.GraphicsDevice; |
45 |
|
import java.awt.Toolkit; |
46 |
|
|
47 |
public class GdkScreenGraphicsDevice extends GraphicsDevice |
public class GdkScreenGraphicsDevice extends GraphicsDevice |
48 |
{ |
{ |
49 |
GdkGraphicsEnvironment env; |
GdkGraphicsEnvironment env; |
50 |
|
|
|
public GtkToolkit getToolkit() |
|
|
{ |
|
|
return env.getToolkit(); |
|
|
} |
|
|
|
|
51 |
public GdkScreenGraphicsDevice (GdkGraphicsEnvironment e) |
public GdkScreenGraphicsDevice (GdkGraphicsEnvironment e) |
52 |
{ |
{ |
53 |
super (); |
super (); |
90 |
public DisplayMode getDisplayMode() |
public DisplayMode getDisplayMode() |
91 |
{ |
{ |
92 |
// determine display mode |
// determine display mode |
93 |
Dimension dim = getToolkit().getScreenSize(); |
Dimension dim = Toolkit.getDefaultToolkit().getScreenSize(); |
94 |
DisplayMode mode = new DisplayMode(dim.width, dim.height, 0, |
DisplayMode mode = new DisplayMode(dim.width, dim.height, 0, |
95 |
DisplayMode.REFRESH_RATE_UNKNOWN); |
DisplayMode.REFRESH_RATE_UNKNOWN); |
96 |
return mode; |
return mode; |