We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 7e9b2cd + 7161510 commit 8d9978dCopy full SHA for 8d9978d
1 file changed
src/controller/Controller.java
@@ -371,6 +371,7 @@ private Edge findPropertyUnder(double x, double y) {
371
RenderedImage renderedImage = SwingFXUtils.fromFXImage(writableImage, null);
372
ImageIO.write(renderedImage, "png", saveFile);
373
setInfoStatus("File saved.");
374
+ Desktop.getDesktop().open(saveFile);
375
} catch (IOException e) {
376
LOGGER.log(Level.SEVERE, "failed to export to .png: ", e);
377
}
@@ -837,6 +838,7 @@ private void showOptionsDialog() {
837
838
writer.flush();
839
writer.close();
840
setInfoStatus("Instance-level Turtle saved.");
841
842
843
e.printStackTrace();
844
0 commit comments