{
for (myjava.gui.syntax.Painter painter : myjava.gui.syntax.Painter.getPainters()) {
painterComboBox.addItem(painter);
EntryListPanel panel = new EntryListPanel(painter);
listPanelSet.add(panel);
centerPanel.add(panel, painter.getName());
}
componentSet.addAll(Arrays.asList(matchBracket, painterComboBox, centerPanel));
}
private void addPainter(myjava.gui.syntax.Painter painter) {
EntryListPanel newPanel = new EntryListPanel(painter);
listPanelSet.add(newPanel);
centerPanel.add(newPanel, painter.getName());
painterComboBox.removeItemListener(painterChangeListener);
painterComboBox.removeAllItems();
for (EntryListPanel p : listPanelSet) {
painterComboBox.addItem(p.getPainter());
}
removedPainters.remove(painter);
painterComboBox.addItemListener(painterChangeListener);
}
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 SaveDialog(Frame parent) {
super(parent, true);
this.setLayout(new BorderLayout());
// gather unsaved tab
Set<Tab> unsaved = new LinkedHashSet<>();
for (Tab tab : MainPanel.getAllTab()) {
if (!tab.isSaved()) {
unsaved.add(tab);
}
}
if (unsaved.isEmpty()) {
// close directly
this.setTitle("Confirm close");
// upper labels
JPanel labels = new JPanel(new FlowLayout(FlowLayout.LEFT, 11, 7));
labels.add(iconLabel);
labels.add(new MyLabel(" Do you really want to close RefluxEdit?"));
// buttons
JPanel buttons = new JPanel(new FlowLayout(FlowLayout.CENTER, 4, 7));
buttons.add(
new MyButton("YES") {
{
SaveDialog.this.getRootPane().setDefaultButton(this);
this.setFocusPainted(true);
}
@Override
public void actionPerformed(ActionEvent ev) {
close = true;
SaveDialog.this.setVisible(false);
}
});
buttons.add(
new MyButton("NO") {
{
this.setFocusPainted(true);
}
@Override
public void actionPerformed(ActionEvent ev) {
close = false;
SaveDialog.this.setVisible(false);
}
});
buttons.setBorder(new EmptyBorder(0, 0, 5, 0));
//
this.add(labels, BorderLayout.CENTER);
this.add(buttons, BorderLayout.PAGE_END);
} else {
// ask save changes
this.setTitle("Unsaved changes");
// upper components: icon and list
JPanel upper = new JPanel(new GridBagLayout());
JPanel listPane = new JPanel(new BorderLayout());
final DefaultListModel<Tab> listModel = new DefaultListModel<>();
final JList<Tab> tabList = new JList<>(listModel);
tabList.setFont(f13);
tabList.setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);
tabList.setCellRenderer(
new DefaultListCellRenderer() {
@Override
public Component getListCellRendererComponent(
JList<?> list, Object value, int index, boolean isSelected, boolean cellHasFocus) {
JLabel label =
(JLabel)
(super.getListCellRendererComponent(
list, value, index, isSelected, cellHasFocus));
if (value instanceof Tab) {
String text = ((Tab) value).getTabLabel().getText();
label.setText(text.substring(1)); // remove "*"
}
return label;
}
});
for (Tab tab : unsaved) {
listModel.addElement(tab);
}
tabList.getSelectionModel().setSelectionInterval(0, listModel.size() - 1);
JScrollPane scrollPane = new JScrollPane(tabList);
scrollPane.setPreferredSize(new Dimension(350, 170));
listPane.add(new MyLabel("The following tabs are unsaved:"), BorderLayout.PAGE_START);
listPane.add(scrollPane, BorderLayout.CENTER);
// setup upper
GridBagConstraints c = new GridBagConstraints();
c.gridx = 0;
c.gridy = 0;
c.weightx = 0;
c.weighty = 1;
c.insets = new Insets(5, 5, 5, 5);
c.anchor = GridBagConstraints.FIRST_LINE_START;
upper.add(iconLabel, c);
//
c.gridx = 1;
c.weightx = 1;
c.fill = GridBagConstraints.BOTH;
upper.add(listPane, c);
// lower components: buttons
JPanel buttons = new JPanel(new FlowLayout(FlowLayout.CENTER, 4, 7));
buttons.add(
new MyButton("Save") {
{
this.setFocusPainted(true);
this.setToolTipText("Save selected tab(s)");
SaveDialog.this.getRootPane().setDefaultButton(this);
if (isMetal) {
this.setPreferredSize(METAL_BUTTON_DIZE);
}
}
@Override
public void actionPerformed(ActionEvent ev) {
for (Tab tab : tabList.getSelectedValuesList()) {
if (tab.getFile() != null) {
try {
tab.save();
MainPanel.close(tab);
listModel.removeElement(tab);
} catch (Exception ex) {
exception(ex);
break;
}
} else {
File file =
FileChooser.showPreferredFileDialog(
RefluxEdit.getInstance(), FileChooser.SAVE, new String[0]);
if (file != null) {
try {
tab.save(file, false);
MainPanel.close(tab);
listModel.removeElement(tab);
} catch (Exception ex) {
exception(ex);
break;
}
}
}
}
if (listModel.size() == 0) {
RefluxEdit.getInstance().close();
}
}
});
buttons.add(
new MyButton("Discard") {
{
this.setFocusPainted(true);
this.setToolTipText("Discard selected tab(s)");
if (isMetal) {
this.setPreferredSize(METAL_BUTTON_DIZE);
}
}
@Override
public void actionPerformed(ActionEvent ev) {
for (Tab tab : tabList.getSelectedValuesList()) {
MainPanel.close(tab);
listModel.removeElement(tab);
}
if (listModel.size() == 0) {
RefluxEdit.getInstance().close();
}
}
});
buttons.add(
new MyButton("Close") {
{
this.setFocusPainted(true);
this.setToolTipText("Close RefluxEdit");
if (isMetal) {
this.setPreferredSize(METAL_BUTTON_DIZE);
}
}
@Override
public void actionPerformed(ActionEvent ev) {
SaveDialog.this.close = true;
SaveDialog.this.setVisible(false);
}
});
buttons.add(
new MyButton("Cancel") {
{
this.setFocusPainted(true);
if (isMetal) {
this.setPreferredSize(METAL_BUTTON_DIZE);
}
}
@Override
public void actionPerformed(ActionEvent ev) {
SaveDialog.this.close = false;
SaveDialog.this.setVisible(false);
}
});
this.add(upper, BorderLayout.CENTER);
this.add(buttons, BorderLayout.PAGE_END);
}
}