package timeflow.app.ui;
|
|
import javax.swing.*;
|
import javax.swing.event.ChangeListener;
|
|
import java.awt.*;
|
import java.awt.event.*;
|
import java.util.*;
|
|
// custom JTabbedPane-like thing.
|
public class LinkTabPane extends JPanel
|
{
|
|
ArrayList<String> tabNames = new ArrayList<String>();
|
HashMap<String, JComponent> tabMap = new HashMap<String, JComponent>();
|
String currentName;
|
CardLayout cards = new CardLayout();
|
JPanel center = new JPanel();
|
LinkTop top = new LinkTop();
|
|
public LinkTabPane()
|
{
|
setBackground(Color.white);
|
setLayout(new BorderLayout());
|
add(top, BorderLayout.NORTH);
|
add(center, BorderLayout.CENTER);
|
center.setLayout(cards);
|
top.addMouseListener(new MouseAdapter()
|
{
|
|
@Override
|
public void mousePressed(MouseEvent e)
|
{
|
String s = top.getName(e.getX());
|
if (s != null)
|
{
|
String old = currentName;
|
setCurrentName(s);
|
firePropertyChange("tab", old, s);
|
}
|
}
|
});
|
}
|
|
public String getTitleAt(int i)
|
{
|
return tabNames.get(i);
|
}
|
|
public void setSelectedIndex(int i)
|
{
|
setCurrentName(getTitleAt(i));
|
}
|
|
public void addTab(JComponent component, String name, boolean left)
|
{
|
tabNames.add(name);
|
tabMap.put(name, component);
|
center.add(component, name);
|
top.addName(name, left);
|
repaint();
|
if (currentName == null)
|
{
|
currentName = name;
|
}
|
}
|
|
public String getCurrentName()
|
{
|
return currentName;
|
}
|
|
public void setCurrentName(final String currentName)
|
{
|
this.currentName = currentName;
|
top.repaint();
|
SwingUtilities.invokeLater(new Runnable()
|
{
|
public void run()
|
{
|
cards.show(center, currentName);
|
}
|
});
|
|
}
|
|
class LinkTop extends JPanel
|
{
|
int left, right;
|
ArrayList<HotLink> leftHots = new ArrayList<HotLink>();
|
ArrayList<HotLink> rightHots = new ArrayList<HotLink>();
|
Font font = new Font("Verdana", Font.PLAIN, 14);
|
FontMetrics fm = getFontMetrics(font);
|
|
LinkTop()
|
{
|
setLayout(new FlowLayout(FlowLayout.LEFT));
|
setBackground(new Color(220, 220, 220));
|
}
|
|
public void paintComponent(Graphics g1)
|
{
|
int w = getSize().width, h = getSize().height;
|
Graphics2D g = (Graphics2D) g1;
|
g.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
|
g.setColor(getBackground());
|
g.fillRect(0, 0, w, h);
|
g.setColor(Color.gray);
|
for (int i = 0; i < 2; i++)
|
{
|
g.drawLine(0, i, w, i);
|
g.drawLine(0, h - 1 - i, w, h - 1 - i);
|
}
|
|
for (HotLink hot : leftHots)
|
{
|
draw(g, hot, h, 0);
|
}
|
|
for (HotLink hot : rightHots)
|
{
|
draw(g, hot, h, w);
|
}
|
|
for (int i = 0; i < leftHots.size(); i++)
|
{
|
|
if (i < leftHots.size() - 1)
|
{
|
HotLink hot = leftHots.get(i);
|
for (int j = 0; j < 1; j++)
|
{
|
g.drawLine(hot.x + hot.width - 1 - j, 7, hot.x + hot.width - 1 - j, h - 7);
|
}
|
}
|
}
|
|
for (int i = 0; i < rightHots.size(); i++)
|
{
|
|
if (i < rightHots.size() - 1)
|
{
|
HotLink hot = rightHots.get(i);
|
for (int j = 0; j < 1; j++)
|
{
|
g.drawLine(hot.x + w - 1 - j, 7, hot.x + w - 1 - j, h - 7);
|
}
|
}
|
}
|
}
|
|
void draw(Graphics g, HotLink hot, int h, int dx)
|
{
|
int x = hot.x + dx;
|
if (hot.s.equals(currentName))
|
{
|
g.setColor(Color.lightGray);
|
g.fillRect(x, 2, hot.width, h - 4);
|
g.setColor(Color.gray);
|
g.drawLine(x - 1, 0, x - 1, h);
|
g.drawLine(x + hot.width - 1, 0, x + hot.width - 1, h);
|
}
|
g.setColor(Color.darkGray);
|
g.setFont(font);
|
int sw = fm.stringWidth(hot.s);
|
g.drawString(hot.s, x + (hot.width - sw) / 2, h - 10);
|
|
}
|
|
String getName(int x)
|
{
|
for (HotLink h : leftHots)
|
{
|
if (h.x <= x && h.x + h.width > x)
|
{
|
return h.s;
|
}
|
}
|
for (HotLink h : rightHots)
|
{
|
int w = getSize().width;
|
if (h.x + w <= x && h.x + h.width + w > x)
|
{
|
return h.s;
|
}
|
}
|
|
if (leftHots.size() > 0)
|
{
|
return leftHots.get(leftHots.size() - 1).s;
|
}
|
if (rightHots.size() > 0)
|
{
|
return rightHots.get(0).s;
|
}
|
return null;
|
}
|
|
void addName(String name, boolean leftward)
|
{
|
if (leftward)
|
{
|
int x = right;
|
int w = fm.stringWidth(name) + 24;
|
leftHots.add(new HotLink(name, x, 0, w, 30));
|
right += w;
|
} else
|
{
|
int x = left;
|
int w = fm.stringWidth(name) + 24;
|
rightHots.add(new HotLink(name, x - w, 0, w, 30));
|
left -= w;
|
}
|
}
|
|
class HotLink extends Rectangle
|
{
|
String s;
|
|
HotLink(String s, int x, int y, int w, int h)
|
{
|
super(x, y, w, h);
|
this.s = s;
|
}
|
}
|
|
public Dimension getPreferredSize()
|
{
|
return new Dimension(30, 30);
|
}
|
}
|
}
|
