Source for gnu.java.awt.peer.gtk.GdkScreenGraphicsDevice

   1: /* GdkScreenGraphicsDevice.java -- information about a screen device
   2:    Copyright (C) 2004, 2005  Free Software Foundation, Inc.
   3: 
   4: This file is part of GNU Classpath.
   5: 
   6: GNU Classpath is free software; you can redistribute it and/or modify
   7: it under the terms of the GNU General Public License as published by
   8: the Free Software Foundation; either version 2, or (at your option)
   9: any later version.
  10: 
  11: GNU Classpath is distributed in the hope that it will be useful, but
  12: WITHOUT ANY WARRANTY; without even the implied warranty of
  13: MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14: General Public License for more details.
  15: 
  16: You should have received a copy of the GNU General Public License
  17: along with GNU Classpath; see the file COPYING.  If not, write to the
  18: Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  19: 02110-1301 USA.
  20: 
  21: Linking this library statically or dynamically with other modules is
  22: making a combined work based on this library.  Thus, the terms and
  23: conditions of the GNU General Public License cover the whole
  24: combination.
  25: 
  26: As a special exception, the copyright holders of this library give you
  27: permission to link this library with independent modules to produce an
  28: executable, regardless of the license terms of these independent
  29: modules, and to copy and distribute the resulting executable under
  30: terms of your choice, provided that you also meet, for each linked
  31: independent module, the terms and conditions of the license of that
  32: module.  An independent module is a module which is not derived from
  33: or based on this library.  If you modify this library, you may extend
  34: this exception to your version of the library, but you are not
  35: obligated to do so.  If you do not wish to do so, delete this
  36: exception statement from your version. */
  37: 
  38: 
  39: package gnu.java.awt.peer.gtk;
  40: 
  41: import java.awt.Dimension;
  42: import java.awt.DisplayMode;
  43: import java.awt.GraphicsConfiguration;
  44: import java.awt.GraphicsDevice;
  45: import java.awt.Toolkit;
  46: 
  47: public class GdkScreenGraphicsDevice extends GraphicsDevice
  48: {
  49:   GdkGraphicsEnvironment env;
  50: 
  51:   public GdkScreenGraphicsDevice (GdkGraphicsEnvironment e)
  52:   {    
  53:     super ();
  54:     env = e;
  55:   }
  56: 
  57:   public int getType ()
  58:   {
  59:     return GraphicsDevice.TYPE_RASTER_SCREEN;
  60:   }
  61: 
  62:   public String getIDstring ()
  63:   {
  64:     // FIXME: query X for this string
  65:     return "default GDK device ID string";
  66:   }
  67: 
  68:   public GraphicsConfiguration[] getConfigurations ()
  69:   {
  70:     // FIXME: query X for the list of possible configurations
  71:     return new GraphicsConfiguration [] { new GdkGraphicsConfiguration(this) };
  72:   }
  73: 
  74:   public GraphicsConfiguration getDefaultConfiguration ()
  75:   {
  76:     
  77:     // FIXME: query X for default configuration
  78:     return new GdkGraphicsConfiguration(this);
  79:   }
  80: 
  81: 
  82:   /**
  83:    * Returns the current display mode of this device, or null if unknown.
  84:    *
  85:    * @return the current display mode
  86:    * @see #setDisplayMode(DisplayMode)
  87:    * @see #getDisplayModes()
  88:    * @since 1.4
  89:    */
  90:   public DisplayMode getDisplayMode()
  91:   {
  92:     // determine display mode
  93:     Dimension dim = Toolkit.getDefaultToolkit().getScreenSize();
  94:     DisplayMode mode = new DisplayMode(dim.width, dim.height, 0,
  95:                        DisplayMode.REFRESH_RATE_UNKNOWN);
  96:     return mode;
  97:   }
  98: 
  99:   /**
 100:    * This device does not yet support fullscreen exclusive mode, so this
 101:    * returns <code>false</code>.
 102:    *
 103:    * @return <code>false</code>
 104:    * @since 1.4
 105:    */
 106:   public boolean isFullScreenSupported()
 107:   {
 108:     return false;
 109:   }
 110: 
 111: }