77 initIDs();
78 }
79
80 /**
81 * Returns a Win32GraphicsConfiguration object with the given device
82 * and PixelFormat. Note that this method does NOT check to ensure that
83 * the returned Win32GraphicsConfig will correctly support rendering into a
84 * Java window. This method is provided so that client code can do its
85 * own checking as to the appropriateness of a particular PixelFormat.
86 * Safer access to Win32GraphicsConfigurations is provided by
87 * Win32GraphicsDevice.getConfigurations().
88 */
89 public static Win32GraphicsConfig getConfig(Win32GraphicsDevice device,
90 int pixFormatID)
91 {
92 return new Win32GraphicsConfig(device, pixFormatID);
93 }
94
95 /**
96 * @deprecated as of JDK version 1.3
97 * replaced by <code>getConfig()</code>
98 */
99 @Deprecated
100 public Win32GraphicsConfig(GraphicsDevice device, int visualnum) {
101 this.screen = (Win32GraphicsDevice)device;
102 this.visual = visualnum;
103 ((Win32GraphicsDevice)device).addDisplayChangedListener(this);
104 }
105
106 /**
107 * Return the graphics device associated with this configuration.
108 */
109 public GraphicsDevice getDevice() {
110 return screen;
111 }
112
113 /**
114 * Return the PixelFormatIndex this GraphicsConfig uses
115 */
116 public int getVisual() {
117 return visual;
|
77 initIDs();
78 }
79
80 /**
81 * Returns a Win32GraphicsConfiguration object with the given device
82 * and PixelFormat. Note that this method does NOT check to ensure that
83 * the returned Win32GraphicsConfig will correctly support rendering into a
84 * Java window. This method is provided so that client code can do its
85 * own checking as to the appropriateness of a particular PixelFormat.
86 * Safer access to Win32GraphicsConfigurations is provided by
87 * Win32GraphicsDevice.getConfigurations().
88 */
89 public static Win32GraphicsConfig getConfig(Win32GraphicsDevice device,
90 int pixFormatID)
91 {
92 return new Win32GraphicsConfig(device, pixFormatID);
93 }
94
95 /**
96 * @deprecated as of JDK version 1.3
97 * replaced by {@code getConfig()}
98 */
99 @Deprecated
100 public Win32GraphicsConfig(GraphicsDevice device, int visualnum) {
101 this.screen = (Win32GraphicsDevice)device;
102 this.visual = visualnum;
103 ((Win32GraphicsDevice)device).addDisplayChangedListener(this);
104 }
105
106 /**
107 * Return the graphics device associated with this configuration.
108 */
109 public GraphicsDevice getDevice() {
110 return screen;
111 }
112
113 /**
114 * Return the PixelFormatIndex this GraphicsConfig uses
115 */
116 public int getVisual() {
117 return visual;
|