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

   1: /* GtkMenuComponentPeer.java -- Implements MenuComponentPeer with GTK+
   2:    Copyright (C) 1999, 2006 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.Font;
  42: import java.awt.MenuComponent;
  43: import java.awt.MenuContainer;
  44: import java.awt.peer.MenuComponentPeer;
  45: 
  46: public abstract class GtkMenuComponentPeer extends GtkGenericPeer
  47:   implements MenuComponentPeer
  48: {
  49:   /**
  50:    * Creates the associated gtk+ widget and stores it in the nsa table
  51:    * for this peer. Called by the constructor.
  52:    */
  53:   protected abstract void create ();
  54: 
  55:   /**
  56:    * Sets font based on MenuComponent font, or containing menu(bar)
  57:    * parent font.
  58:    */
  59:   private void setFont()
  60:   {
  61:     MenuComponent mc = ((MenuComponent) awtWidget);
  62:     Font f = mc.getFont();
  63: 
  64:     if (f == null)
  65:       {
  66:         MenuContainer parent = mc.getParent ();
  67:         // Submenus inherit the font of their containing Menu(Bar).
  68:         if (parent instanceof MenuComponent)
  69:           f = parent.getFont ();
  70:       }
  71: 
  72:     setFont(f);
  73:   }
  74: 
  75:   /**
  76:    * Will call the abstract <code>create()</code> that needs to be
  77:    * overridden by subclasses, to create the MenuComponent. It will
  78:    * then correctly setup the font for the component based on the
  79:    * component and/or its containing parent component.
  80:    */
  81:   public GtkMenuComponentPeer(MenuComponent component)
  82:   {
  83:     super(component);
  84:     create();
  85:     setFont();
  86:   }
  87: 
  88:   /**
  89:    * Removes the awtWidget components from the native state tables.
  90:    * Subclasses should call <code>super.dispose()</code> if they don't
  91:    * remove these themselves.
  92:    */
  93:   public native void dispose();
  94: 
  95:   /**
  96:    * Sets the font for this particular MenuComponent only (not any
  97:    * containing items, if any).
  98:    */
  99:   public void setFont(Font font)
 100:   {
 101:     if (font != null)
 102:       gtkWidgetModifyFont(font);
 103:   }
 104: }