43 |
|
|
44 |
public class GdkScreenGraphicsDevice extends GraphicsDevice |
public class GdkScreenGraphicsDevice extends GraphicsDevice |
45 |
{ |
{ |
46 |
public GdkScreenGraphicsDevice () |
GdkGraphicsEnvironment env; |
47 |
|
|
48 |
|
public GtkToolkit getToolkit() |
49 |
{ |
{ |
50 |
|
return env.getToolkit(); |
51 |
|
} |
52 |
|
|
53 |
|
public GdkScreenGraphicsDevice (GdkGraphicsEnvironment e) |
54 |
|
{ |
55 |
super (); |
super (); |
56 |
|
env = e; |
57 |
} |
} |
58 |
|
|
59 |
public int getType () |
public int getType () |
70 |
public GraphicsConfiguration[] getConfigurations () |
public GraphicsConfiguration[] getConfigurations () |
71 |
{ |
{ |
72 |
// FIXME: query X for the list of possible configurations |
// FIXME: query X for the list of possible configurations |
73 |
return null; |
return new GraphicsConfiguration [] { new GdkGraphicsConfiguration(this) }; |
74 |
} |
} |
75 |
|
|
76 |
public GraphicsConfiguration getDefaultConfiguration () |
public GraphicsConfiguration getDefaultConfiguration () |
77 |
{ |
{ |
78 |
|
|
79 |
// FIXME: query X for default configuration |
// FIXME: query X for default configuration |
80 |
return null; |
return new GdkGraphicsConfiguration(this); |
81 |
} |
} |
82 |
} |
} |