home *** CD-ROM | disk | FTP | other *** search
/ Chip 1998 November / Chip_1998-11_cd.bin / tema / Cafe / jfc.bin / WindowsSplitPaneDivider.java < prev    next >
Text File  |  1998-02-26  |  2KB  |  73 lines
  1. /*
  2.  * @(#)WindowsSplitPaneDivider.java    1.4 98/02/02
  3.  * 
  4.  * Copyright (c) 1997 Sun Microsystems, Inc. All Rights Reserved.
  5.  * 
  6.  * This software is the confidential and proprietary information of Sun
  7.  * Microsystems, Inc. ("Confidential Information").  You shall not
  8.  * disclose such Confidential Information and shall use it only in
  9.  * accordance with the terms of the license agreement you entered into
  10.  * with Sun.
  11.  * 
  12.  * SUN MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF THE
  13.  * SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE
  14.  * IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
  15.  * PURPOSE, OR NON-INFRINGEMENT. SUN SHALL NOT BE LIABLE FOR ANY DAMAGES
  16.  * SUFFERED BY LICENSEE AS A RESULT OF USING, MODIFYING OR DISTRIBUTING
  17.  * THIS SOFTWARE OR ITS DERIVATIVES.
  18.  * 
  19.  */
  20.  
  21. package com.sun.java.swing.plaf.windows;
  22.  
  23. import java.awt.*;
  24. import com.sun.java.swing.JSplitPane;
  25. import com.sun.java.swing.UIManager;
  26. import com.sun.java.swing.plaf.basic.BasicSplitPaneUI;
  27. import com.sun.java.swing.plaf.basic.BasicSplitPaneDivider;
  28.  
  29.  
  30. /**
  31.  * Divider used for Windows split pane.
  32.  * <p>
  33.  * Warning: serialized objects of this class will not be compatible with
  34.  * future swing releases.  The current serialization support is appropriate
  35.  * for short term storage or RMI between Swing1.0 applications.  It will
  36.  * not be possible to load serialized Swing1.0 objects with future releases
  37.  * of Swing.  The JDK1.2 release of Swing will be the compatibility
  38.  * baseline for the serialized form of Swing objects.
  39.  *
  40.  * @version 1.2 10/25/97
  41.  * @author Jeff Dinkins
  42.  */
  43. public class WindowsSplitPaneDivider extends BasicSplitPaneDivider
  44. {
  45.  
  46.     public static int   DIVIDER_SIZE = 3;
  47.  
  48.  
  49.     /**
  50.      * Creates a new Windows SplitPaneDivider
  51.      */
  52.     public WindowsSplitPaneDivider(BasicSplitPaneUI ui) {
  53.        super(ui);
  54.     setDividerSize(DIVIDER_SIZE);
  55.     } 
  56.  
  57.     /**
  58.       * Paints the divider.
  59.       */
  60.     // PENDING(jeff) - the thumb's location and size is currently hard coded. It
  61.     // should be dynamic.
  62.     public void paint(Graphics g) {
  63.           Color               bgColor = getBackground();
  64.     Dimension           size = getSize();
  65.  
  66.     if(bgColor != null) {
  67.         g.setColor(bgColor);
  68.         g.fillRect(0, 0, size.width, size.height);
  69.     }
  70.     super.paint(g);
  71.     }
  72. }
  73.