/*******************************************************************************
* This file is part of logisim-evolution.
*
* logisim-evolution is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* logisim-evolution is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with logisim-evolution. If not, see <http://www.gnu.org/licenses/>.
*
* Original code by Carl Burch (http://www.cburch.com), 2011.
* Subsequent modifications by :
* + Haute École Spécialisée Bernoise
* http://www.bfh.ch
* + Haute École du paysage, d'ingénierie et d'architecture de Genève
* http://hepia.hesge.ch/
* + Haute École d'Ingénierie et de Gestion du Canton de Vaud
* http://www.heig-vd.ch/
* The project is currently maintained by :
* + REDS Institute - HEIG-VD
* Yverdon-les-Bains, Switzerland
* http://reds.heig-vd.ch
*******************************************************************************/
package com.cburch.logisim.util;
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 {
abstract static class Dragbar extends JComponent implements MouseListener,
MouseMotionListener {
private static final long serialVersionUID = 1L;
private boolean dragging = false;
private int curValue;
Dragbar() {
addMouseListener(this);
addMouseMotionListener(this);
}
abstract int getDragValue(MouseEvent e);
public void mouseClicked(MouseEvent e) {
}
public void mouseDragged(MouseEvent e) {
if (dragging) {
int newValue = getDragValue(e);
if (newValue != curValue)
setDragValue(newValue);
}
}
public void mouseEntered(MouseEvent e) {
}
public void mouseExited(MouseEvent e) {
}
public void mouseMoved(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();
}
}
@Override
public void paintComponent(Graphics g) {
if (dragging) {
g.setColor(DRAG_COLOR);
g.fillRect(0, 0, getWidth(), getHeight());
}
}
abstract void setDragValue(int value);
}
private class MyDragbar extends Dragbar {
private static final long serialVersionUID = 1L;
MyDragbar() {
setCursor(Cursor.getPredefinedCursor(Cursor.S_RESIZE_CURSOR));
}
@Override
int getDragValue(MouseEvent e) {
return getY() + e.getY() - HorizontalSplitPane.this.getInsets().top;
}
@Override
void setDragValue(int value) {
Insets in = HorizontalSplitPane.this.getInsets();
setFraction((double) value
/ (HorizontalSplitPane.this.getHeight() - in.bottom - in.top));
revalidate();
}
}
private class MyLayout implements LayoutManager {
public void addLayoutComponent(String name, Component comp) {
}
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;
dragbar.setVisible(false);
} else if (fraction >= 1.0) {
split = maxHeight;
dragbar.setVisible(false);
} else {
split = (int) Math.round(maxHeight * fraction);
split = Math.min(split, maxHeight
- comp1.getMinimumSize().height);
split = Math.max(split, comp0.getMinimumSize().height);
dragbar.setVisible(true);
}
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);
}
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 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 void removeLayoutComponent(Component comp) {
}
}
private static final long serialVersionUID = 1L;
static final int DRAG_TOLERANCE = 3;
private static final Color DRAG_COLOR = new Color(0, 0, 0, 128);
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();
}
}
}