| /* |
| * ProGuard -- shrinking, optimization, obfuscation, and preverification |
| * of Java bytecode. |
| * |
| * Copyright (c) 2002-2014 Eric Lafortune (eric@graphics.cornell.edu) |
| * |
| * This program 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 2 of the License, or (at your option) |
| * any later version. |
| * |
| * This program 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 this program; if not, write to the Free Software Foundation, Inc., |
| * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
| */ |
| package proguard.gui; |
| |
| import javax.swing.*; |
| import java.awt.*; |
| import java.awt.event.*; |
| |
| |
| /** |
| * This <code>Jpanel</code> is similar to a <code>JTabbedPane</code>. |
| * It uses buttons on the left-hand side to switch between panels. |
| * An image can be added below these buttons. |
| * Some methods are provided to switch between tabs. |
| * |
| * @author Eric Lafortune |
| */ |
| public class TabbedPane |
| extends JPanel |
| { |
| private final CardLayout cardLayout = new CardLayout(); |
| private final JPanel cardPanel = new JPanel(cardLayout); |
| private final ButtonGroup buttonGroup = new ButtonGroup(); |
| |
| |
| /** |
| * Creates a new TabbedPane. |
| */ |
| public TabbedPane() |
| { |
| GridBagLayout layout = new GridBagLayout(); |
| setLayout(layout); |
| |
| GridBagConstraints cardConstraints = new GridBagConstraints(); |
| cardConstraints.gridx = 1; |
| cardConstraints.gridy = 0; |
| cardConstraints.gridheight = GridBagConstraints.REMAINDER; |
| cardConstraints.fill = GridBagConstraints.BOTH; |
| cardConstraints.weightx = 1.0; |
| cardConstraints.weighty = 1.0; |
| cardConstraints.anchor = GridBagConstraints.NORTHWEST; |
| |
| add(cardPanel, cardConstraints); |
| } |
| |
| |
| /** |
| * Adds a component with a given title to the tabbed pane. |
| * |
| * @param title the title that will be used in the tab button. |
| * @param component the component that will be added as a tab. |
| */ |
| public Component add(final String title, Component component) |
| { |
| GridBagConstraints buttonConstraints = new GridBagConstraints(); |
| buttonConstraints.gridx = 0; |
| buttonConstraints.fill = GridBagConstraints.HORIZONTAL; |
| buttonConstraints.anchor = GridBagConstraints.NORTHWEST; |
| buttonConstraints.ipadx = 10; |
| buttonConstraints.ipady = 4; |
| |
| JToggleButton button = new JToggleButton(title); |
| |
| // Let the button react on the mouse press, instead of waiting for the |
| // mouse release. |
| button.setModel(new JToggleButton.ToggleButtonModel() |
| { |
| public void setPressed(boolean b) |
| { |
| if ((isPressed() == b) || !isEnabled()) |
| { |
| return; |
| } |
| |
| if (!b && isArmed()) |
| { |
| setSelected(!this.isSelected()); |
| } |
| |
| if (b) |
| { |
| stateMask |= PRESSED; |
| } |
| else |
| { |
| stateMask &= ~PRESSED; |
| } |
| |
| fireStateChanged(); |
| |
| if (isPressed()) |
| { |
| fireActionPerformed(new ActionEvent(this, ActionEvent.ACTION_PERFORMED, getActionCommand())); |
| } |
| } |
| |
| }); |
| |
| // Switch to the tab on a button press. |
| button.addActionListener(new ActionListener() |
| { |
| public void actionPerformed(ActionEvent e) |
| { |
| cardLayout.show(cardPanel, title); |
| } |
| }); |
| |
| // Only one button can be selected at the same time. |
| buttonGroup.add(button); |
| |
| // If this is the first tab, make sure its button is selected. |
| if (cardPanel.getComponentCount() == 0) |
| { |
| button.setSelected(true); |
| } |
| |
| // Add the button and its panel. |
| add(button, buttonConstraints); |
| cardPanel.add(title, component); |
| |
| return component; |
| } |
| |
| |
| /** |
| * Adds an image below the tab buttons, after all tabs have been added. |
| * The image will only be as visible as permitted by the available space. |
| * |
| * @param image the image. |
| * @return the component containing the image. |
| */ |
| public Component addImage(final Image image) |
| { |
| GridBagConstraints imageConstraints = new GridBagConstraints(); |
| imageConstraints.gridx = 0; |
| imageConstraints.weighty = 1.0; |
| imageConstraints.fill = GridBagConstraints.BOTH; |
| imageConstraints.anchor = GridBagConstraints.SOUTHWEST; |
| |
| JButton component = new JButton(new ImageIcon(image)); |
| component.setFocusPainted(false); |
| component.setFocusable(false); |
| component.setRequestFocusEnabled(false); |
| component.setRolloverEnabled(false); |
| component.setMargin(new Insets(0, 0, 0, 0)); |
| component.setHorizontalAlignment(JButton.LEFT); |
| component.setVerticalAlignment(JButton.BOTTOM); |
| component.setPreferredSize(new Dimension(0, 0)); |
| |
| add(component, imageConstraints); |
| |
| return component; |
| } |
| |
| |
| /** |
| * Selects the first tab. |
| */ |
| public void first() |
| { |
| cardLayout.first(cardPanel); |
| updateButtonSelection(); |
| } |
| |
| |
| /** |
| * Selects the last tab. |
| */ |
| public void last() |
| { |
| cardLayout.last(cardPanel); |
| updateButtonSelection(); |
| } |
| |
| |
| /** |
| * Selects the previous tab. |
| */ |
| public void previous() |
| { |
| cardLayout.previous(cardPanel); |
| updateButtonSelection(); |
| } |
| |
| |
| /** |
| * Selects the next tab. |
| */ |
| public void next() |
| { |
| cardLayout.next(cardPanel); |
| updateButtonSelection(); |
| } |
| |
| |
| /** |
| * Lets the button selection reflect the currently visible panel. |
| */ |
| private void updateButtonSelection() |
| { |
| int count = cardPanel.getComponentCount(); |
| for (int index = 0 ; index < count ; index++) { |
| Component card = cardPanel.getComponent(index); |
| if (card.isShowing()) |
| { |
| JToggleButton button = (JToggleButton)getComponent(index+1); |
| button.setSelected(true); |
| } |
| } |
| } |
| } |