Commit b03739c9 authored by Sarah Grebing's avatar Sarah Grebing

New Script Tabs loadable and concept for loading a file again is implementend:...

New Script Tabs loadable and concept for loading a file again is implementend: if file is already laoded and loaded again, it is overwritten (Decision for the beginning); part for right side is coming in the next days ;-)
parent 54730de1
Pipeline #11075 failed with stage
in 2 minutes and 32 seconds
......@@ -271,7 +271,7 @@ public class DebuggerMainWindowController implements Initializable {
blocker.deinstall();
statusBar.publishMessage("Parse ...");
try {
List<ProofScript> scripts = Facade.getAST(scriptArea.getText());
List<ProofScript> scripts = Facade.getAST(tabPane.getActiveScriptAreaTab().getScriptArea().getText());
statusBar.publishMessage("Creating new Interpreter instance ...");
ib.setScripts(scripts);
ib.captureHistory();
......
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