38 |
|
|
39 |
package gnu.java.awt.peer.gtk; |
package gnu.java.awt.peer.gtk; |
40 |
|
|
41 |
|
import java.awt.Dimension; |
42 |
|
import java.awt.DisplayMode; |
43 |
import java.awt.GraphicsConfiguration; |
import java.awt.GraphicsConfiguration; |
44 |
import java.awt.GraphicsDevice; |
import java.awt.GraphicsDevice; |
45 |
|
|
81 |
// FIXME: query X for default configuration |
// FIXME: query X for default configuration |
82 |
return new GdkGraphicsConfiguration(this); |
return new GdkGraphicsConfiguration(this); |
83 |
} |
} |
84 |
|
|
85 |
|
|
86 |
|
/** |
87 |
|
* Returns the current display mode of this device, or null if unknown. |
88 |
|
* |
89 |
|
* @return the current display mode |
90 |
|
* @see #setDisplayMode(DisplayMode) |
91 |
|
* @see #getDisplayModes() |
92 |
|
* @since 1.4 |
93 |
|
*/ |
94 |
|
public DisplayMode getDisplayMode() |
95 |
|
{ |
96 |
|
// determine display mode |
97 |
|
Dimension dim = getToolkit().getScreenSize(); |
98 |
|
DisplayMode mode = new DisplayMode(dim.width, dim.height, 0, |
99 |
|
DisplayMode.REFRESH_RATE_UNKNOWN); |
100 |
|
return mode; |
101 |
|
} |
102 |
|
|
103 |
|
/** |
104 |
|
* This device does not yet support fullscreen exclusive mode, so this |
105 |
|
* returns <code>false</code>. |
106 |
|
* |
107 |
|
* @return <code>false</code> |
108 |
|
* @since 1.4 |
109 |
|
*/ |
110 |
|
public boolean isFullScreenSupported() |
111 |
|
{ |
112 |
|
return false; |
113 |
|
} |
114 |
|
|
115 |
} |
} |