diff --git a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java index 97c3da9c8019098f2d9287afcf8df01be64701c1..71524a13d8402be6bbb1ecfabf1b6af1b3619617 100644 --- a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java +++ b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java @@ -782,8 +782,20 @@ public class DebuggerMain implements Initializable { * @param actionEvent */ public void saveProof(ActionEvent actionEvent) { + FileChooser fc = new FileChooser(); + File file = fc.showOpenDialog(btnInteractiveMode.getScene().getWindow()); + if (file != null) { + try { + saveProof(file); + } catch (IOException e) { + e.printStackTrace(); + } + } + } - LOGGER.error("saveProof not implemented!!!"); + public void saveProof(File file) throws IOException { + if (FACADE.getProof() != null) + FACADE.getProof().saveToFile(file); } /**