📄 tabbedpane.java
字号:
/* $Id: TabbedPane.java,v 1.6 2004/08/15 12:39:30 eric Exp $ * * ProGuard -- shrinking, optimization, and obfuscation of Java class files. * * Copyright (c) 2002-2004 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 java.awt.*;import java.awt.event.*;import javax.swing.*;/** * 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 CardLayout cardLayout = new CardLayout(); private JPanel cardPanel = new JPanel(cardLayout); private 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 == false && 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; JPanel component = new JPanel() { public void paintComponent(Graphics graphics) { graphics.drawImage(image, 0, getHeight() - image.getHeight(null), this); } }; component.setBorder(BorderFactory.createEtchedBorder()); 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); } } }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -