public void setNotification(Component comp, boolean note) {
for (Tab tab : tabs) {
if (tab.comp == comp) {
tab.notification = note;
repaint();
}
}
}
/**
* @param left starting position from the left
* @param g graphics context, or null if we're not drawing
*/
private void drawTabs(int left, Graphics2D g) {
int x = left;
for (Tab tab : tabs) {
tab.left = x;
x += MARGIN;
if (tab.hasIcon()) {
x += ICON_WIDTH + MARGIN;
}
x += tab.textWidth + MARGIN;
tab.right = x;
tab.draw(g);
x += TAB_BETWEEN;
}
}
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);
}
}
public void paintComponent(Graphics screen) {
if (screen == null) return;
Sketch sketch = editor.getSketch();
if (sketch == null) return; // possible?
Dimension size = getSize();
if ((size.width != sizeW) || (size.height != sizeH)) {
// component has been resized
if ((size.width > imageW) || (size.height > imageH)) {
// nix the image and recreate, it's too small
offscreen = null;
} else {
// if the image is larger than necessary, no need to change
sizeW = size.width;
sizeH = size.height;
}
}
if (offscreen == null) {
sizeW = size.width;
sizeH = size.height;
imageW = sizeW;
imageH = sizeH;
if (Toolkit.highResDisplay()) {
offscreen = createImage(imageW * 2, imageH * 2);
} else {
offscreen = createImage(imageW, imageH);
}
}
Graphics g = offscreen.getGraphics();
g.setFont(font); // need to set this each time through
if (fontAscent == 0) {
fontAscent = (int) Toolkit.getAscent(g);
}
Graphics2D g2 = Toolkit.prepareGraphics(g);
g.setColor(tabColor[SELECTED]);
g.fillRect(0, 0, imageW, 2);
g.drawImage(gradient, 0, 2, imageW, imageH, this);
// reset all tab positions
for (Tab tab : tabs) {
tab.textWidth = (int) font.getStringBounds(tab.name, g2.getFontRenderContext()).getWidth();
}
// now actually draw the tabs
drawTabs(Editor.LEFT_GUTTER, g2);
drawUpdates(g2);
// // draw the two pixel line that extends left/right below the tabs
// g.setColor(tabColor[SELECTED]);
// // can't be done with lines, b/c retina leaves tiny hairlines
// g.fillRect(Editor.LEFT_GUTTER, TAB_BOTTOM,
// editor.getTextArea().getWidth() - Editor.LEFT_GUTTER, 2);
screen.drawImage(offscreen, 0, 0, imageW, imageH, null);
}