/**
* Refreshs the title of a specified editor.
*
* @param id The index of the editor
*/
public void refreshEditorTitle(String id) {
AbstractEditorPanel editor = getEditor(id);
if (editor != null) {
TabComponent tabComponent = (TabComponent) getTabComponentAt(indexOfComponent(editor));
tabComponent.setTitle(editor.getTitle());
}
}
/**
* Constructor.
*
* @param title the title of the tab component
* @param editor the editor of the tab (used to close the tab)
*/
public TabComponent(final AbstractEditorPanel editor) {
setLayout(new BorderLayout());
setBorder(BorderFactory.createEmptyBorder(3, 0, 0, 0));
setOpaque(false);
// title
title = new JLabel(editor.getTitle());
title.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 5));
add(title, BorderLayout.WEST);
// close
final JButton close = new JButton(Project.getEditorImageIconOrEmpty("icon_cross.png"));
close.setPreferredSize(new Dimension(16, 16));
close.setUI(new BasicButtonUI());
close.setBorderPainted(false);
close.setOpaque(false);
close.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent ae) {
removeEditor(editor, true);
}
});
close.addMouseListener(
new MouseListener() {
@Override
public void mouseClicked(MouseEvent me) {}
@Override
public void mousePressed(MouseEvent me) {}
@Override
public void mouseReleased(MouseEvent me) {}
@Override
public void mouseEntered(MouseEvent me) {
close.setBorderPainted(true);
}
@Override
public void mouseExited(MouseEvent me) {
close.setBorderPainted(false);
}
});
add(close, BorderLayout.EAST);
}