/*
* @(#)MotifSplitPaneDivider.java 1.17 03/12/19
*
* Copyright 2004 Sun Microsystems, Inc. All rights reserved.
* SUN PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
*/
package com.sun.java.swing.plaf.motif;
import java.awt.*;
import java.awt.event.*;
import javax.swing.JSplitPane;
import javax.swing.UIManager;
import javax.swing.plaf.basic.BasicSplitPaneUI;
import javax.swing.plaf.basic.BasicSplitPaneDivider;
/**
* Divider used for Motif split pane.
* <p>
* <strong>Warning:</strong>
* Serialized objects of this class will not be compatible with
* future Swing releases. The current serialization support is appropriate
* for short term storage or RMI between applications running the same
* version of Swing. A future release of Swing will provide support for
* long term persistence.
*
* @version 1.17 12/19/03
* @author Jeff Dinkins
*/
public class MotifSplitPaneDivider extends BasicSplitPaneDivider
{
/**
* Default cursor, supers is package private, so we have to have one
* too.
*/
private static final Cursor defaultCursor =
Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR);
public static final int minimumThumbSize = 6;
public static final int defaultDividerSize = 18;
protected static final int pad = 6;
private int hThumbOffset = 30;
private int vThumbOffset = 40;
protected int hThumbWidth = 12;
protected int hThumbHeight = 18;
protected int vThumbWidth = 18;
protected int vThumbHeight = 12;
protected Color highlightColor;
protected Color shadowColor;
protected Color focusedColor;
/**
* Creates a new Motif SplitPaneDivider
*/
public MotifSplitPaneDivider(BasicSplitPaneUI ui) {
super(ui);
highlightColor = UIManager.getColor("SplitPane.highlight");
shadowColor = UIManager.getColor("SplitPane.shadow");
focusedColor = UIManager.getColor("SplitPane.activeThumb");
setDividerSize(hThumbWidth + pad);
}
/**
* overrides to hardcode the size of the divider
* PENDING(jeff) - rewrite JSplitPane so that this ins't needed
*/
public void setDividerSize(int newSize) {
Insets insets = getInsets();
int borderSize = 0;
if (getBasicSplitPaneUI().getOrientation() ==
JSplitPane.HORIZONTAL_SPLIT) {
if (insets != null) {
borderSize = insets.left + insets.right;
}
}
else if (insets != null) {
borderSize = insets.top + insets.bottom;
}
if (newSize < pad + minimumThumbSize + borderSize) {
setDividerSize(pad + minimumThumbSize + borderSize);
} else {
vThumbHeight = hThumbWidth = newSize - pad - borderSize;
super.setDividerSize(newSize);
}
}
/**
* Paints the divider.
*/
// PENDING(jeff) - the thumb's location and size is currently hard coded.
// It should be dynamic.
public void paint(Graphics g) {
Color bgColor = getBackground();
Dimension size = getSize();
// fill
g.setColor(getBackground());
g.fillRect(0, 0, size.width, size.height);
if(getBasicSplitPaneUI().getOrientation() ==
JSplitPane.HORIZONTAL_SPLIT) {
int center = size.width/2;
int x = center - hThumbWidth/2;
int y = hThumbOffset;
// split line
g.setColor(shadowColor);
g.drawLine(center-1, 0, center-1, size.height);
g.setColor(highlightColor);
g.drawLine(center, 0, center, size.height);
// draw thumb
g.setColor((splitPane.hasFocus()) ? focusedColor :
getBackground());
g.fillRect(x+1, y+1, hThumbWidth-2, hThumbHeight-1);
g.setColor(highlightColor);
g.drawLine(x, y, x+hThumbWidth-1, y); // top
g.drawLine(x, y+1, x, y+hThumbHeight-1); // left
g.setColor(shadowColor);
g.drawLine(x+1, y+hThumbHeight-1,
x+hThumbWidth-1, y+hThumbHeight-1); // bottom
g.drawLine(x+hThumbWidth-1, y+1,
x+hThumbWidth-1, y+hThumbHeight-2); // right
} else {
int center = size.height/2;
int x = size.width - vThumbOffset;
int y = size.height/2 - vThumbHeight/2;
// split line
g.setColor(shadowColor);
g.drawLine(0, center-1, size.width, center-1);
g.setColor(highlightColor);
g.drawLine(0, center, size.width, center);
// draw thumb
g.setColor((splitPane.hasFocus()) ? focusedColor :
getBackground());
g.fillRect(x+1, y+1, vThumbWidth-1, vThumbHeight-1);
g.setColor(highlightColor);
g.drawLine(x, y, x+vThumbWidth, y); // top
g.drawLine(x, y+1, x, y+vThumbHeight); // left
g.setColor(shadowColor);
g.drawLine(x+1, y+vThumbHeight,
x+vThumbWidth, y+vThumbHeight); // bottom
g.drawLine(x+vThumbWidth, y+1,
x+vThumbWidth, y+vThumbHeight-1); // right
}
super.paint(g);
}
/**
* The minimums size is the same as the preferredSize
*/
public Dimension getMinimumSize() {
return getPreferredSize();
}
/**
* Sets the SplitPaneUI that is using the receiver. This is completely
* overriden from super to create a different MouseHandler.
*/
public void setBasicSplitPaneUI(BasicSplitPaneUI newUI) {
if (splitPane != null) {
splitPane.removePropertyChangeListener(this);
if (mouseHandler != null) {
splitPane.removeMouseListener(mouseHandler);
splitPane.removeMouseMotionListener(mouseHandler);
removeMouseListener(mouseHandler);
removeMouseMotionListener(mouseHandler);
mouseHandler = null;
}
}
splitPaneUI = newUI;
if (newUI != null) {
splitPane = newUI.getSplitPane();
if (splitPane != null) {
if (mouseHandler == null) mouseHandler=new MotifMouseHandler();
splitPane.addMouseListener(mouseHandler);
splitPane.addMouseMotionListener(mouseHandler);
addMouseListener(mouseHandler);
addMouseMotionListener(mouseHandler);
splitPane.addPropertyChangeListener(this);
if (splitPane.isOneTouchExpandable()) {
oneTouchExpandableChanged();
}
}
}
else {
splitPane = null;
}
}
/**
* Returns true if the point at <code>x</code>, <code>y</code>
* is inside the thumb.
*/
private boolean isInThumb(int x, int y) {
Dimension size = getSize();
int thumbX;
int thumbY;
int thumbWidth;
int thumbHeight;
if (getBasicSplitPaneUI().getOrientation() ==
JSplitPane.HORIZONTAL_SPLIT) {
int center = size.width/2;
thumbX = center - hThumbWidth/2;
thumbY = hThumbOffset;
thumbWidth = hThumbWidth;
thumbHeight = hThumbHeight;
}
else {
int center = size.height/2;
thumbX = size.width - vThumbOffset;
thumbY = size.height/2 - vThumbHeight/2;
thumbWidth = vThumbWidth;
thumbHeight = vThumbHeight;
}
return (x >= thumbX && x < (thumbX + thumbWidth) &&
y >= thumbY && y < (thumbY + thumbHeight));
}
//
// Two methods are exposed so that MotifMouseHandler can see the
// superclass protected ivars
//
private DragController getDragger() {
return dragger;
}
private JSplitPane getSplitPane() {
return splitPane;
}
/**
* MouseHandler is subclassed to only pass off to super if the mouse
* is in the thumb. Motif only allows dragging when the thumb is clicked
* in.
*/
private class MotifMouseHandler extends MouseHandler {
public void mousePressed(MouseEvent e) {
// Constrain the mouse pressed to the thumb.
if (e.getSource() == MotifSplitPaneDivider.this &&
getDragger() == null && getSplitPane().isEnabled() &&
isInThumb(e.getX(), e.getY())) {
super.mousePressed(e);
}
}
public void mouseMoved(MouseEvent e) {
if (getDragger() != null) {
return;
}
if (!isInThumb(e.getX(), e.getY())) {
if (getCursor() != defaultCursor) {
setCursor(defaultCursor);
}
return;
}
super.mouseMoved(e);
}
}
}
|
