public FileNameRenderer(JTable table) {
Border b = UIManager.getBorder("Table.noFocusBorder");
if (Objects.isNull(b)) { // Nimbus???
Insets i = focusCellHighlightBorder.getBorderInsets(textLabel);
b = BorderFactory.createEmptyBorder(i.top, i.left, i.bottom, i.right);
}
noFocusBorder = b;
p.setOpaque(false);
panel.setOpaque(false);
// http://www.icongalore.com/ XP Style Icons - Windows Application Icon, Software XP Icons
nicon = new ImageIcon(getClass().getResource("wi0063-16.png"));
sicon =
new ImageIcon(
p.createImage(
new FilteredImageSource(nicon.getImage().getSource(), new SelectedImageFilter())));
iconLabel = new JLabel(nicon);
iconLabel.setBorder(BorderFactory.createEmptyBorder());
p.add(iconLabel, BorderLayout.WEST);
p.add(textLabel);
panel.add(p, BorderLayout.WEST);
Dimension d = iconLabel.getPreferredSize();
dim.setSize(d);
table.setRowHeight(d.height);
}
/** Initialize the panel containing the node. */
public PluginListCellRenderer() {
super(new BorderLayout(8, 8));
JPanel mainPanel = new JPanel(new BorderLayout());
this.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
this.setBackground(Color.WHITE);
this.setOpaque(true);
mainPanel.setOpaque(false);
this.nameVersionPanel.setOpaque(false);
this.setCursor(Cursor.getPredefinedCursor(Cursor.HAND_CURSOR));
this.nameLabel.setIconTextGap(2);
this.nameLabel.setFont(this.getFont().deriveFont(Font.BOLD));
this.systemLabel.setFont(this.getFont().deriveFont(Font.BOLD));
this.nameVersionPanel.add(nameLabel);
this.nameVersionPanel.add(versionLabel);
mainPanel.add(nameVersionPanel, BorderLayout.NORTH);
mainPanel.add(descriptionLabel, BorderLayout.CENTER);
this.add(iconLabel, BorderLayout.WEST);
this.add(mainPanel, BorderLayout.CENTER);
this.add(stateLabel, BorderLayout.WEST);
}
public SyntaxTab() {
super(new BorderLayout(), "Syntax highlighting");
/*
* upper checkboxes
*/
JPanel upper = new JPanel(new GridLayout(2, 1, 0, 0));
upper.setOpaque(false);
upper.add(MyPanel.wrap(highlightSyntax));
upper.add(MyPanel.wrap(matchBracket));
highlightSyntax.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent ev) {
SyntaxTab.this.updateComponentStatus();
}
});
this.add(upper, BorderLayout.PAGE_START);
/*
* upper panel (painters)
*/
painterComboBox.setSelectedItem(myjava.gui.syntax.Painter.getCurrentInstance());
painterComboBox.setFont(f13);
if (isMetal) painterComboBox.setBackground(Color.WHITE);
painterComboBox.addItemListener(this.painterChangeListener);
JButton addPainter =
new MyButton("+") {
{
if (isMetal) {
this.setPreferredSize(new Dimension(28, 28));
}
}
@Override
public void actionPerformed(ActionEvent ev) {
String name;
do {
name =
JOptionPane.showInputDialog(
SyntaxTab.this, "Enter a name:", "Name", JOptionPane.QUESTION_MESSAGE);
} while (!myjava.gui.syntax.Painter.isValidPrompt(name, SyntaxTab.this));
if ((name != null) && (!name.isEmpty())) {
// name is valid, neither cancelled nor pressed enter directly
myjava.gui.syntax.Painter newPainter =
((myjava.gui.syntax.Painter) (painterComboBox.getSelectedItem()))
.newInstance(name);
addPainter(newPainter);
System.out.println("now set, should call listener");
painterComboBox.setSelectedItem(newPainter); // auto-call ItemListener(s)
}
}
};
JButton removePainter =
new MyButton("-") {
{
if (isMetal) {
this.setPreferredSize(new Dimension(28, 28));
}
}
@Override
public void actionPerformed(ActionEvent ev) {
myjava.gui.syntax.Painter painter =
(myjava.gui.syntax.Painter) (painterComboBox.getSelectedItem());
if (painter.equals(myjava.gui.syntax.Painter.getDefaultInstance())) {
JOptionPane.showMessageDialog(
SyntaxTab.this,
"The default painter cannot be removed.",
"Error",
JOptionPane.ERROR_MESSAGE);
} else {
int option =
JOptionPane.showConfirmDialog(
SyntaxTab.this,
"Remove painter \"" + painter.getName() + "\"?",
"Confirm",
JOptionPane.YES_NO_OPTION);
if (option == JOptionPane.YES_OPTION) {
// remove "painter"
removedPainters.add(painter);
painterComboBox.removeItemListener(painterChangeListener);
painterComboBox.setSelectedItem(myjava.gui.syntax.Painter.getDefaultInstance());
painterComboBox.removeItem(painter);
for (Iterator<EntryListPanel> it = listPanelSet.iterator(); it.hasNext(); ) {
EntryListPanel panel = it.next();
if (panel.getPainter().getName().equals(painter.getName())) {
System.out.println("removing, then break");
it.remove();
centerPanel.remove(panel);
break;
}
}
painterComboBox.addItemListener(painterChangeListener);
cardLayout.show(
centerPanel, myjava.gui.syntax.Painter.getDefaultInstance().getName());
}
}
}
};
// lower part
JPanel center = new JPanel(new BorderLayout());
JLabel selectLabel = new MyLabel("Selected painter:");
center.add(
MyPanel.wrap(MyPanel.CENTER, selectLabel, painterComboBox, addPainter, removePainter),
BorderLayout.PAGE_START);
componentSet.addAll(Arrays.asList(selectLabel, addPainter, removePainter));
center.add(centerPanel, BorderLayout.CENTER);
this.add(center, BorderLayout.CENTER);
cardLayout.show(centerPanel, myjava.gui.syntax.Painter.getCurrentInstance().getName());
}
public AncestralStatesPanel(BeautiFrame parent) {
super();
this.frame = parent;
partitionTableModel = new PartitionTableModel();
partitionTable = new JTable(partitionTableModel);
partitionTable.getTableHeader().setReorderingAllowed(false);
partitionTable.getTableHeader().setResizingAllowed(false);
// modelTable.getTableHeader().setDefaultRenderer(
// new HeaderRenderer(SwingConstants.LEFT, new Insets(0, 4, 0, 4)));
final TableColumnModel model = partitionTable.getColumnModel();
final TableColumn tableColumn0 = model.getColumn(0);
TableEditorStopper.ensureEditingStopWhenTableLosesFocus(partitionTable);
partitionTable.getSelectionModel().setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
partitionTable
.getSelectionModel()
.addListSelectionListener(
new ListSelectionListener() {
public void valueChanged(ListSelectionEvent evt) {
selectionChanged();
}
});
JScrollPane scrollPane =
new JScrollPane(
partitionTable,
JScrollPane.VERTICAL_SCROLLBAR_ALWAYS,
JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
scrollPane.setOpaque(false);
JPanel panel = new JPanel(new BorderLayout(0, 0));
panel.setOpaque(false);
panel.add(scrollPane, BorderLayout.CENTER);
panel.setMinimumSize(new Dimension(MINIMUM_TABLE_WIDTH, 0));
optionsPanelParent = new JPanel(new FlowLayout(FlowLayout.CENTER));
optionsPanelParent.setOpaque(false);
optionsBorder = new TitledBorder("Ancestral state options:");
optionsPanelParent.setBorder(optionsBorder);
setCurrentPartition(null);
JScrollPane scrollPane2 =
new JScrollPane(
optionsPanelParent,
JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,
JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
scrollPane2.setOpaque(false);
scrollPane2.setBorder(null);
scrollPane2.getViewport().setOpaque(false);
JSplitPane splitPane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT, panel, scrollPane2);
splitPane.setDividerLocation(MINIMUM_TABLE_WIDTH);
splitPane.setContinuousLayout(true);
splitPane.setBorder(BorderFactory.createEmptyBorder());
splitPane.setOpaque(false);
setOpaque(false);
setBorder(new BorderUIResource.EmptyBorderUIResource(new Insets(12, 12, 12, 12)));
setLayout(new BorderLayout(0, 0));
add(splitPane, BorderLayout.CENTER);
}