/**
* Constructs the button with the given node type and image prefix. If the node type is "Select",
* constructs a button that allows nodes to be selected and moved. If the node type is "Edge",
* constructs a button that allows edges to be drawn. For other node types, constructs buttons
* that allow those type of nodes to be added to the workbench. If a non-null image prefix is
* provided, images for <prefix>Up.gif, <prefix>Down.gif, <prefix>Off.gif and <prefix>Roll.gif are
* loaded from the /images directory relative to this compiled class and used to provide up, down,
* off, and rollover images for the constructed button. On construction, nodes are mapped to their
* node types in the Map, <code>nodeTypes</code>. Listeners are added to the node.
*
* @param buttonInfo contains the info needed to construct the button.
*/
private JToggleButton constructButton(ButtonInfo buttonInfo) {
String imagePrefix = buttonInfo.getImagePrefix();
if (imagePrefix == null) {
throw new NullPointerException("Image prefix must not be null.");
}
JToggleButton button = new JToggleButton();
button.addMouseListener(
new MouseAdapter() {
public void mouseClicked(MouseEvent e) {
super.mouseClicked(e);
setShiftDown(e.isShiftDown());
// setControlDown(e.isControlDown());
}
});
if ("Select".equals(buttonInfo.getNodeTypeName())) {
button.setIcon(new ImageIcon(ImageUtils.getImage(this, "move.gif")));
} else if ("Edge".equals(buttonInfo.getNodeTypeName())) {
button.setIcon(new ImageIcon(ImageUtils.getImage(this, "flow.gif")));
} else {
button.setName(buttonInfo.getNodeTypeName());
button.setText("<html><center>" + buttonInfo.getDisplayName() + "</center></html>");
}
button.setMaximumSize(new Dimension(110, 40)); // For a vertical box.
button.setToolTipText(buttonInfo.getToolTipText());
this.nodeTypes.put(button, buttonInfo.getNodeTypeName());
return button;
}
public JMovieControlAqua() {
// Set the background color to the border color of the buttons.
// This way the toolbar won't look too ugly when the buttons
// are displayed before they have been loaded completely.
// setBackground(new Color(118, 118, 118));
setBackground(Color.WHITE);
Dimension buttonSize = new Dimension(16, 16);
GridBagLayout gridbag = new GridBagLayout();
Insets margin = new Insets(0, 0, 0, 0);
setLayout(gridbag);
GridBagConstraints c;
ResourceBundle labels = ResourceBundle.getBundle("org.monte.media.Labels");
colorCyclingButton = new JToggleButton();
colorCyclingButton.setToolTipText(labels.getString("colorCycling.toolTipText"));
colorCyclingButton.addActionListener(this);
colorCyclingButton.setPreferredSize(buttonSize);
colorCyclingButton.setMinimumSize(buttonSize);
colorCyclingButton.setVisible(false);
colorCyclingButton.setMargin(margin);
c = new GridBagConstraints();
// c.gridx = 0;
// c.gridy = 0;
gridbag.setConstraints(colorCyclingButton, c);
add(colorCyclingButton);
audioButton = new JToggleButton();
audioButton.setToolTipText(labels.getString("audio.toolTipText"));
audioButton.addActionListener(this);
audioButton.setPreferredSize(buttonSize);
audioButton.setMinimumSize(buttonSize);
audioButton.setVisible(false);
audioButton.setMargin(margin);
c = new GridBagConstraints();
// c.gridx = 0;
// c.gridy = 0;
gridbag.setConstraints(audioButton, c);
add(audioButton);
startButton = new JToggleButton();
startButton.setToolTipText(labels.getString("play.toolTipText"));
startButton.addActionListener(this);
startButton.setPreferredSize(buttonSize);
startButton.setMinimumSize(buttonSize);
startButton.setMargin(margin);
c = new GridBagConstraints();
// c.gridx = 1;
// c.gridy = 0;
gridbag.setConstraints(startButton, c);
add(startButton);
slider = new JMovieSliderAqua();
c = new GridBagConstraints();
// c.gridx = 2;
// c.gridy = 0;
c.fill = GridBagConstraints.HORIZONTAL;
c.weightx = 1.0;
gridbag.setConstraints(slider, c);
add(slider);
rewindButton = new JButton();
rewindButton.setToolTipText(labels.getString("previous.toolTipText"));
rewindButton.setPreferredSize(buttonSize);
rewindButton.setMinimumSize(buttonSize);
rewindButton.setMargin(margin);
c = new GridBagConstraints();
// c.gridx = 3;
// c.gridy = 0;
gridbag.setConstraints(rewindButton, c);
add(rewindButton);
rewindButton.addActionListener(this);
forwardButton = new JButton();
forwardButton.setToolTipText(labels.getString("next.toolTipText"));
buttonSize = new Dimension(17, 16);
forwardButton.setPreferredSize(buttonSize);
forwardButton.setMinimumSize(buttonSize);
forwardButton.setMargin(margin);
c = new GridBagConstraints();
// c.gridx = 4;
// c.gridy = 0;
gridbag.setConstraints(forwardButton, c);
add(forwardButton);
forwardButton.addActionListener(this);
// The spacer is used when the play controls are hidden
spacer = new JPanel(new BorderLayout());
spacer.setVisible(false);
spacer.setPreferredSize(new Dimension(16, 16));
spacer.setMinimumSize(new Dimension(16, 16));
spacer.setOpaque(false);
c = new GridBagConstraints();
c.fill = GridBagConstraints.HORIZONTAL;
c.weightx = 1.0;
gridbag.setConstraints(spacer, c);
add(spacer);
Border border =
new BackdropBorder(
new ButtonStateBorder(
new ImageBevelBorder(
Images.createImage(getClass(), "images/Player.border.png"),
new Insets(1, 1, 1, 1),
new Insets(0, 4, 1, 4)),
new ImageBevelBorder(
Images.createImage(getClass(), "images/Player.borderP.png"),
new Insets(1, 1, 1, 1),
new Insets(0, 4, 1, 4))));
Border westBorder =
new BackdropBorder(
new ButtonStateBorder(
new ImageBevelBorder(
Images.createImage(getClass(), "images/Player.borderWest.png"),
new Insets(1, 1, 1, 0),
new Insets(0, 4, 1, 4)),
new ImageBevelBorder(
Images.createImage(getClass(), "images/Player.borderWestP.png"),
new Insets(1, 1, 1, 0),
new Insets(0, 4, 1, 4))));
startButton.setBorder(westBorder);
colorCyclingButton.setBorder(westBorder);
audioButton.setBorder(westBorder);
rewindButton.setBorder(westBorder);
forwardButton.setBorder(border);
startButton.setUI((ButtonUI) CustomButtonUI.createUI(startButton));
colorCyclingButton.setUI((ButtonUI) CustomButtonUI.createUI(audioButton));
audioButton.setUI((ButtonUI) CustomButtonUI.createUI(audioButton));
rewindButton.setUI((ButtonUI) CustomButtonUI.createUI(rewindButton));
forwardButton.setUI((ButtonUI) CustomButtonUI.createUI(forwardButton));
colorCyclingButton.setIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerStartColorCycling.png")));
colorCyclingButton.setSelectedIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerStartColorCycling.png")));
colorCyclingButton.setDisabledIcon(
new ImageIcon(
Images.createImage(getClass(), "images/PlayerStartColorCycling.disabled.png")));
audioButton.setIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerStartAudio.png")));
audioButton.setSelectedIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerStopAudio.png")));
audioButton.setDisabledIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerStartAudio.disabled.png")));
startButton.setIcon(new ImageIcon(Images.createImage(getClass(), "images/PlayerStart.png")));
startButton.setSelectedIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerStop.png")));
startButton.setDisabledIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerStart.disabled.png")));
rewindButton.setIcon(new ImageIcon(Images.createImage(getClass(), "images/PlayerBack.png")));
rewindButton.setDisabledIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerBack.disabled.png")));
forwardButton.setIcon(new ImageIcon(Images.createImage(getClass(), "images/PlayerNext.png")));
forwardButton.setDisabledIcon(
new ImageIcon(Images.createImage(getClass(), "images/PlayerNext.disabled.png")));
// Automatic scrolling
scrollHandler = new ScrollHandler();
scrollTimer = new Timer(60, scrollHandler);
scrollTimer.setInitialDelay(300); // default InitialDelay?
forwardButton.addMouseListener(scrollHandler);
rewindButton.addMouseListener(scrollHandler);
}