/* * #%L * gitools-ui-platform * %% * Copyright (C) 2013 Universitat Pompeu Fabra - Biomedical Genomics group * %% * 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 3 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, see * <http://www.gnu.org/licenses/gpl-3.0.html>. * #L% */ package org.gitools.ui.core.components.editor; import org.apache.commons.lang.StringUtils; import org.gitools.api.components.IEditor; import javax.swing.*; import javax.swing.plaf.basic.BasicButtonUI; import java.awt.*; import java.awt.event.*; /** * Component to be used as tabComponent; * Contains a JLabel to show the text and * a JButton to close the tab it belongs to */ public class EditorTabComponent extends JPanel { private static final int DEFAULT_EDITOR_TAB_LENGTH = 20; private final EditorsPanel editorPanel; private final AbstractEditor editor; private final JLabel label; public EditorTabComponent(EditorsPanel editorPanel, AbstractEditor editor) { this.editorPanel = editorPanel; this.editor = editor; editor.addEditorListener(new AbstractEditor.EditorListener() { @Override public void dirtyChanged(IEditor editor) { updateLabel(); } @Override public void nameChanged(IEditor editor) { updateLabel(); } }); setOpaque(false); label = new JLabel(); label.setOpaque(false); label.setFocusable(false); label.addMouseListener(new MouseAdapter() { @Override public void mousePressed(MouseEvent e) { EditorTabComponent.this.editorPanel.setSelectedEditor(EditorTabComponent.this.editor); } }); //add more space between the label and the button label.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 5)); updateLabel(); //tab button JButton button = new TabButton(); setLayout(new BorderLayout()); add(label, BorderLayout.CENTER); add(button, BorderLayout.EAST); //add more space to the top of the component setBorder(BorderFactory.createEmptyBorder(2, 0, 0, 0)); } private void updateLabel() { if (editor.isDirty()) { label.setFont(label.getFont().deriveFont(Font.BOLD)); } else { label.setFont(label.getFont().deriveFont(Font.PLAIN)); } String name = editor.getName(); if (name == null) { name = "unnamed"; } String extension = ""; String filename = name; String newname; int i = name.lastIndexOf('.'); if (i > 0) { extension = "." + name.substring(i + 1); filename = name.substring(0, name.lastIndexOf('.')); } newname = StringUtils.abbreviate(filename, DEFAULT_EDITOR_TAB_LENGTH) + extension; label.setText(newname); label.setIcon(editor.getIcon()); label.setIconTextGap(3); label.setHorizontalTextPosition(SwingConstants.RIGHT); String toolTip = null; if (editor.getFile() != null) { toolTip = editor.getFile().getAbsolutePath(); } label.setToolTipText(toolTip); } public AbstractEditor getEditor() { return editor; } private class TabButton extends JButton implements ActionListener { public TabButton() { int size = 18; setPreferredSize(new Dimension(size, size)); setToolTipText("Close this editor"); //Make the button looks the same for all Laf's setUI(new BasicButtonUI()); //Make it transparent setContentAreaFilled(false); //No need to be focusable setFocusable(false); setBorder(BorderFactory.createEtchedBorder()); setBorderPainted(false); //Making nice rollover effect //we use the same listener for all buttons addMouseListener(buttonMouseListener); setRolloverEnabled(true); //Close the proper tab by clicking the button addActionListener(this); } @Override public void actionPerformed(ActionEvent e) { editorPanel.removeEditor(editor); } //we don't want to update UI for this button @Override public void updateUI() { } //paint the cross @Override protected void paintComponent(Graphics g) { super.paintComponent(g); Graphics2D g2 = (Graphics2D) g.create(); //shift the image for pressed buttons if (getModel().isPressed()) { g2.translate(1, 1); } g2.setStroke(new BasicStroke(2)); g2.setColor(Color.BLACK); if (getModel().isRollover()) { g2.setColor(Color.MAGENTA); } int delta = 6; g2.drawLine(delta, delta, getWidth() - delta - 1, getHeight() - delta - 1); g2.drawLine(getWidth() - delta - 1, delta, delta, getHeight() - delta - 1); g2.dispose(); } } private final static MouseListener buttonMouseListener = new MouseAdapter() { @Override public void mouseEntered(MouseEvent e) { Component component = e.getComponent(); if (component instanceof AbstractButton) { AbstractButton button = (AbstractButton) component; button.setBorderPainted(true); } } @Override public void mouseExited(MouseEvent e) { Component component = e.getComponent(); if (component instanceof AbstractButton) { AbstractButton button = (AbstractButton) component; button.setBorderPainted(false); } } }; }