Lines Matching defs:device
59 ColorModel colorModel; // static for device
66 // really matter if a thread does an operation on graphics device which is
105 // device is removed)
115 * Returns the type of the graphics device.
125 * Returns the Win32 screen of the device.
133 * invalid as a result of device removal event.
140 * Called from native code when the device was removed.
151 * device.
160 * configurations associated with this graphics device.
233 * associated with this graphics device, or 0 if PixelFormats calls fail or
252 * associated with this graphics device.
259 // default device...
515 * Creates and returns the color model associated with this device
522 * are any changes (e.g., palette changes) in the device
532 * Returns the non-dynamic ColorModel associated with this device
543 * of this device.
549 private Win32GraphicsDevice device;
552 Win32FSWindowAdapter(Win32GraphicsDevice device) {
553 this.device = device;
590 // restore the default display mode for this device
591 DisplayMode ddm = device.defaultDisplayMode;
593 dm = device.getDisplayMode();
594 device.setDisplayMode(ddm);
600 // restore the user-set display mode for this device
602 device.setDisplayMode(dm);