Mega Code Archive

 

Categories / Java / Swing JFC

 

Horizontal Split Pane based on JPanel

/* Copyright (c) 2006, 2009, Carl Burch. License information is located in the  * com.cburch.logisim.Main source code and at www.cburch.com/logisim/. */   import java.awt.Color; import java.awt.Component; import java.awt.Container; import java.awt.Cursor; import java.awt.Dimension; import java.awt.Graphics; import java.awt.Insets; import java.awt.LayoutManager; import java.awt.event.MouseEvent; import java.awt.event.MouseListener; import java.awt.event.MouseMotionListener; import javax.swing.JComponent; import javax.swing.JPanel; public class HorizontalSplitPane extends JPanel {     static final int DRAG_TOLERANCE = 3;     private static final Color DRAG_COLOR = new Color(0, 0, 0, 128);     abstract static class Dragbar extends JComponent         implements MouseListener, MouseMotionListener {         private boolean dragging = false;         private int curValue;                  Dragbar() {             addMouseListener(this);             addMouseMotionListener(this);         }                  abstract int getDragValue(MouseEvent e);         abstract void setDragValue(int value);                  public void paintComponent(Graphics g) {             if(dragging) {                 g.setColor(DRAG_COLOR);                 g.fillRect(0, 0, getWidth(), getHeight());             }         }                  public void mouseClicked(MouseEvent e) { }                  public void mousePressed(MouseEvent e) {             if(!dragging) {                 curValue = getDragValue(e);                 dragging = true;                 repaint();             }         }                  public void mouseReleased(MouseEvent e) {             if(dragging) {                 dragging = false;                 int newValue = getDragValue(e);                 if(newValue != curValue) setDragValue(newValue);                 repaint();             }         }                  public void mouseEntered(MouseEvent e) { }                  public void mouseExited(MouseEvent e) { }                  public void mouseDragged(MouseEvent e) {             if(dragging) {                 int newValue = getDragValue(e);                 if(newValue != curValue) setDragValue(newValue);             }         }                  public void mouseMoved(MouseEvent e) { }     }          private class MyLayout implements LayoutManager {         public void addLayoutComponent(String name, Component comp) { }         public void removeLayoutComponent(Component comp) { }         public Dimension preferredLayoutSize(Container parent) {             if(fraction <= 0.0) return comp1.getPreferredSize();             if(fraction >= 1.0) return comp0.getPreferredSize();             Insets in = parent.getInsets();             Dimension d0 = comp0.getPreferredSize();             Dimension d1 = comp1.getPreferredSize();             return new Dimension(in.left + Math.max(d0.width, d1.width) + in.right,                     in.top + d0.height + d1.height + in.bottom);         }         public Dimension minimumLayoutSize(Container parent) {             if(fraction <= 0.0) return comp1.getMinimumSize();             if(fraction >= 1.0) return comp0.getMinimumSize();             Insets in = parent.getInsets();             Dimension d0 = comp0.getMinimumSize();             Dimension d1 = comp1.getMinimumSize();             return new Dimension(in.left + Math.max(d0.width, d1.width) + in.right,                     in.top + d0.height + d1.height + in.bottom);         }         public void layoutContainer(Container parent) {             Insets in = parent.getInsets();             int maxWidth = parent.getWidth() - (in.left + in.right);             int maxHeight = parent.getHeight() - (in.top + in.bottom);             int split;             if(fraction <= 0.0) {                 split = 0;             } else if(fraction >= 1.0) {                 split = maxWidth;             } else {                 split = (int) Math.round(maxHeight * fraction);                 split = Math.min(split, maxHeight - comp1.getMinimumSize().height);                 split = Math.max(split, comp0.getMinimumSize().height);             }             comp0.setBounds(in.left, in.top,                     maxWidth, split);             comp1.setBounds(in.left, in.top + split,                     maxWidth, maxHeight - split);             dragbar.setBounds(in.left, in.top + split - DRAG_TOLERANCE,                     maxWidth, 2 * DRAG_TOLERANCE);         }     }          private class MyDragbar extends Dragbar {         MyDragbar() {             setCursor(Cursor.getPredefinedCursor(Cursor.S_RESIZE_CURSOR));         }                  int getDragValue(MouseEvent e) {             return getY() + e.getY() - HorizontalSplitPane.this.getInsets().top;         }              void setDragValue(int value) {             Insets in = HorizontalSplitPane.this.getInsets();             setFraction((double) value / (HorizontalSplitPane.this.getHeight() - in.bottom - in.top));             revalidate();         }     }     private JComponent comp0;     private JComponent comp1;     private MyDragbar dragbar;     private double fraction;          public HorizontalSplitPane(JComponent comp0, JComponent comp1) {         this(comp0, comp1, 0.5);     }          public HorizontalSplitPane(JComponent comp0, JComponent comp1,             double fraction) {         this.comp0 = comp0;         this.comp1 = comp1;         this.dragbar = new MyDragbar(); // above the other components         this.fraction = fraction;         setLayout(new MyLayout());         add(dragbar); // above the other components         add(comp0);         add(comp1);     }          public double getFraction() {         return fraction;     }          public void setFraction(double value) {         if(value < 0.0) value = 0.0;         if(value > 1.0) value = 1.0;         if(fraction != value) {             fraction = value;             revalidate();         }     } }