Lines Matching defs:device
81 * Returns a Win32GraphicsConfiguration object with the given device
89 public static Win32GraphicsConfig getConfig(Win32GraphicsDevice device,
92 return new Win32GraphicsConfig(device, pixFormatID);
100 public Win32GraphicsConfig(GraphicsDevice device, int visualnum) {
101 this.screen = (Win32GraphicsDevice)device;
103 ((Win32GraphicsDevice)device).addDisplayChangedListener(this);
107 * Return the graphics device associated with this configuration.
149 * associated with the graphics device. When attributes of that
150 * device change (for example, when the device palette is updated),
151 * then this device-based color model will be updated internally
180 * the device, with X coordinates
192 * in device space.
285 * happen that the accelerated device may have this graphics config
286 * (like if the device restoration failed when one device exits fs mode
302 * cases it may happen that the accelerated graphics device may have a