Commit 3fa31c5c authored by Alexander Weigl's avatar Alexander Weigl

saveProof

parent 76c6ac67
...@@ -782,8 +782,20 @@ public class DebuggerMain implements Initializable { ...@@ -782,8 +782,20 @@ public class DebuggerMain implements Initializable {
* @param actionEvent * @param actionEvent
*/ */
public void saveProof(ActionEvent 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);
} }
/** /**
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment