private void mayRefreshImageWindow(File pngFile) {
for (ImageWindow2 win : openWindows2) {
if (win.getSimpleLine().getGeneratedImage() == null) {
continue;
}
if (pngFile.equals(win.getSimpleLine().getGeneratedImage().getPngFile())) {
win.refreshImage();
}
}
}
private void doubleClick(SimpleLine2 simpleLine, ListModel listModel, int index) {
for (ImageWindow2 win : openWindows2) {
if (win.getSimpleLine().equals(simpleLine)) {
win.setVisible(true);
win.setExtendedState(Frame.NORMAL);
return;
}
}
if (simpleLine.getGeneratedImage() != null) {
openWindows2.add(new ImageWindow2(simpleLine, this, listModel, index));
}
}
