1. /*

  2.  * @(#)MotifSplitPaneDivider.java	1.14 00/02/02

  3.  *

  4.  * Copyright 1997-2000 Sun Microsystems, Inc. All Rights Reserved.

  5.  * 

  6.  * This software is the proprietary information of Sun Microsystems, Inc.  

  7.  * Use is subject to license terms.

  8.  * 

  9.  */

  10. 

  11. package com.sun.java.swing.plaf.motif;

  12. 

  13. import java.awt.*;

  14. import java.awt.event.*;

  15. import javax.swing.JSplitPane;

  16. import javax.swing.UIManager;

  17. import javax.swing.plaf.basic.BasicSplitPaneUI;

  18. import javax.swing.plaf.basic.BasicSplitPaneDivider;

  19. 

  20. 

  21. /**

  22.  * Divider used for Motif split pane.

  23.  * <p>

  24.  * <strong>Warning:</strong>

  25.  * Serialized objects of this class will not be compatible with

  26.  * future Swing releases.  The current serialization support is appropriate

  27.  * for short term storage or RMI between applications running the same

  28.  * version of Swing.  A future release of Swing will provide support for

  29.  * long term persistence.

  30.  *

  31.  * @version 1.14 02/02/00

  32.  * @author Jeff Dinkins

  33.  */

  34. public class MotifSplitPaneDivider extends BasicSplitPaneDivider

  35. {

  36.     /**

  37.      * Default cursor, supers is package private, so we have to have one

  38.      * too.

  39.      */

  40.     private static final Cursor defaultCursor =

  41.                             Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR);

  42. 

  43. 

  44.     public static final int minimumThumbSize = 6;

  45.     public static final int defaultDividerSize = 18;

  46. 

  47.     protected  static final int pad = 6;

  48. 

  49.     private int hThumbOffset = 30;

  50.     private int vThumbOffset = 40;

  51.     protected int hThumbWidth = 12;

  52.     protected int hThumbHeight = 18;

  53.     protected int vThumbWidth = 18;

  54.     protected int vThumbHeight = 12;

  55. 

  56.     protected Color highlightColor;

  57.     protected Color shadowColor;

  58.     protected Color focusedColor;

  59. 

  60.     /**

  61.      * Creates a new Motif SplitPaneDivider

  62.      */

  63.     public MotifSplitPaneDivider(BasicSplitPaneUI ui) {

  64.         super(ui);

  65.         highlightColor = UIManager.getColor("SplitPane.highlight");

  66.         shadowColor = UIManager.getColor("SplitPane.shadow");

  67.         focusedColor = UIManager.getColor("SplitPane.activeThumb");

  68.         setDividerSize(hThumbWidth + pad);

  69.     }

  70. 

  71.     /**

  72.      * overrides to hardcode the size of the divider

  73.      * PENDING(jeff) - rewrite JSplitPane so that this ins't needed

  74.      */

  75.     public void setDividerSize(int newSize) {

  76. 	Insets          insets = getInsets();

  77. 	int             borderSize = 0;

  78. 	if (getBasicSplitPaneUI().getOrientation() ==

  79. 	    JSplitPane.HORIZONTAL_SPLIT) {

  80. 	    if (insets != null) {

  81. 		borderSize = insets.left + insets.right;

  82. 	    }

  83. 	}

  84. 	else if (insets != null) {

  85. 	    borderSize = insets.top + insets.bottom;

  86. 	}

  87.         if (newSize < pad + minimumThumbSize + borderSize) {

  88.             setDividerSize(pad + minimumThumbSize + borderSize);

  89.         } else {

  90.             vThumbHeight = hThumbWidth = newSize - pad - borderSize;

  91.             super.setDividerSize(newSize);

  92.         }                  

  93.     }

  94. 

  95.     /**

  96.       * Paints the divider.

  97.       */

  98.     // PENDING(jeff) - the thumb's location and size is currently hard coded.

  99.     // It should be dynamic.

  100.     public void paint(Graphics g) {

  101.         Color               bgColor = getBackground();

  102.         Dimension           size = getSize();

  103. 

  104.         // fill

  105.         g.setColor(getBackground());

  106.         g.fillRect(0, 0, size.width, size.height);

  107. 

  108.         if(getBasicSplitPaneUI().getOrientation() ==

  109.            JSplitPane.HORIZONTAL_SPLIT) {

  110.             int center = size.width2;

  111.             int x = center - hThumbWidth2;

  112.             int y = hThumbOffset;

  113. 

  114.             // split line

  115.             g.setColor(shadowColor);

  116.             g.drawLine(center-1, 0, center-1, size.height);

  117. 

  118.             g.setColor(highlightColor);

  119.             g.drawLine(center, 0, center, size.height);

  120. 

  121.             // draw thumb

  122.             g.setColor((splitPane.hasFocus()) ? focusedColor :

  123.                                                 getBackground());

  124.             g.fillRect(x+1, y+1, hThumbWidth-2, hThumbHeight-1);

  125. 

  126.             g.setColor(highlightColor);

  127.             g.drawLine(x, y, x+hThumbWidth-1, y);       // top

  128.             g.drawLine(x, y+1, x, y+hThumbHeight-1);    // left

  129. 

  130.             g.setColor(shadowColor);

  131.             g.drawLine(x+1, y+hThumbHeight-1,

  132.                        x+hThumbWidth-1, y+hThumbHeight-1);      // bottom

  133.             g.drawLine(x+hThumbWidth-1, y+1,

  134.                        x+hThumbWidth-1, y+hThumbHeight-2);      // right

  135. 

  136.         } else {

  137.             int center = size.height2;

  138.             int x = size.width - vThumbOffset;

  139.             int y = size.height2 - vThumbHeight2;

  140. 

  141.             // split line

  142.             g.setColor(shadowColor);

  143.             g.drawLine(0, center-1, size.width, center-1);

  144. 

  145.             g.setColor(highlightColor);

  146.             g.drawLine(0, center, size.width, center);

  147. 

  148.             // draw thumb

  149.             g.setColor((splitPane.hasFocus()) ? focusedColor :

  150.                                                 getBackground());

  151.             g.fillRect(x+1, y+1, vThumbWidth-1, vThumbHeight-1);

  152. 

  153.             g.setColor(highlightColor);

  154.             g.drawLine(x, y, x+vThumbWidth, y);    // top

  155.             g.drawLine(x, y+1, x, y+vThumbHeight); // left

  156. 

  157.             g.setColor(shadowColor);

  158.             g.drawLine(x+1, y+vThumbHeight,

  159.                        x+vThumbWidth, y+vThumbHeight);          // bottom

  160.             g.drawLine(x+vThumbWidth, y+1,

  161.                        x+vThumbWidth, y+vThumbHeight-1);        // right

  162.         }

  163.         super.paint(g);

  164. 

  165.     }

  166. 

  167.     /**

  168.       * The minimums size is the same as the preferredSize

  169.       */

  170.     public Dimension getMinimumSize() {

  171.         return getPreferredSize();

  172.     }

  173. 

  174.     /**

  175.      * Sets the SplitPaneUI that is using the receiver. This is completely

  176.      * overriden from super to create a different MouseHandler.

  177.      */

  178.     public void setBasicSplitPaneUI(BasicSplitPaneUI newUI) {

  179.         if (splitPane != null) {

  180.             splitPane.removePropertyChangeListener(this);

  181.            if (mouseHandler != null) {

  182.                splitPane.removeMouseListener(mouseHandler);

  183.                splitPane.removeMouseMotionListener(mouseHandler);

  184. 	       removeMouseListener(mouseHandler);

  185. 	       removeMouseMotionListener(mouseHandler);

  186.                mouseHandler = null;

  187.            }

  188.         }

  189.         splitPaneUI = newUI;

  190.         if (newUI != null) {

  191.             splitPane = newUI.getSplitPane();

  192.             if (splitPane != null) {

  193.                 if (mouseHandler == null) mouseHandler=new MotifMouseHandler();

  194.                 splitPane.addMouseListener(mouseHandler);

  195.                 splitPane.addMouseMotionListener(mouseHandler);

  196. 		addMouseListener(mouseHandler);

  197. 		addMouseMotionListener(mouseHandler);

  198.                 splitPane.addPropertyChangeListener(this);

  199.                 if (splitPane.isOneTouchExpandable()) {

  200.                     oneTouchExpandableChanged();

  201.                 }

  202.             }

  203.         }

  204.         else {

  205.             splitPane = null;

  206.         }

  207.     }

  208. 

  209.     /**

  210.      * Returns true if the point at <code>x</code>, <code>y</code>

  211.      * is inside the thumb.

  212.      */

  213.     private boolean isInThumb(int x, int y) {

  214.         Dimension           size = getSize();

  215. 	int                 thumbX;

  216. 	int                 thumbY;

  217. 	int                 thumbWidth;

  218. 	int                 thumbHeight;

  219. 

  220. 	if (getBasicSplitPaneUI().getOrientation() ==

  221. 	    JSplitPane.HORIZONTAL_SPLIT) {

  222.             int center = size.width2;

  223.             thumbX = center - hThumbWidth2;

  224.             thumbY = hThumbOffset;

  225. 	    thumbWidth = hThumbWidth;

  226. 	    thumbHeight = hThumbHeight;

  227. 	}

  228. 	else {

  229.             int center = size.height2;

  230.             thumbX = size.width - vThumbOffset;

  231.             thumbY = size.height2 - vThumbHeight2;

  232. 	    thumbWidth = vThumbWidth;

  233. 	    thumbHeight = vThumbHeight;

  234. 	}

  235. 	return (x >= thumbX && x < (thumbX + thumbWidth) &&

  236. 		y >= thumbY && y < (thumbY + thumbHeight));

  237.     }

  238. 

  239.     //

  240.     // Two methods are exposed so that MotifMouseHandler can see the

  241.     // superclass protected ivars

  242.     //

  243. 

  244.     private DragController getDragger() {

  245. 	return dragger;

  246.     }

  247. 

  248.     private JSplitPane getSplitPane() {

  249. 	return splitPane;

  250.     }

  251. 

  252. 

  253.     /**

  254.      * MouseHandler is subclassed to only pass off to super if the mouse

  255.      * is in the thumb. Motif only allows dragging when the thumb is clicked

  256.      * in.

  257.      */

  258.     private class MotifMouseHandler extends MouseHandler {

  259.         public void mousePressed(MouseEvent e) {

  260. 	    // Constrain the mouse pressed to the thumb.

  261. 	    if (e.getSource() == MotifSplitPaneDivider.this &&

  262. 		getDragger() == null && getSplitPane().isEnabled() &&

  263. 		isInThumb(e.getX(), e.getY())) {

  264. 		super.mousePressed(e);

  265. 	    }

  266. 	}

  267. 

  268.         public void mouseMoved(MouseEvent e) {

  269. 	    if (getDragger() != null) {

  270. 		return;

  271. 	    }

  272. 	    if (!isInThumb(e.getX(), e.getY())) {

  273. 		if (getCursor() != defaultCursor) {

  274. 		    setCursor(defaultCursor);

  275. 		}

  276. 		return;

  277. 	    }

  278. 	    super.mouseMoved(e);

  279. 	}

  280.     }

  281. }