Commit 311f08d3 authored by Sarah Grebing's avatar Sarah Grebing

Fixed issue back

parent 71fe0d83
Pipeline #10995 failed with stage
in 2 minutes and 22 seconds
......@@ -118,6 +118,7 @@ public class DebuggerMainWindowController implements Initializable {
@FXML
private SequentView sequentView;
private InterpretingService interpreterService = new InterpretingService();
private ObservableBooleanValue executeNotPossible = interpreterService.runningProperty().or(facade.readyToExecuteProperty().not());
......@@ -265,6 +266,8 @@ public class DebuggerMainWindowController implements Initializable {
List<ProofScript> scripts = Facade.getAST(scriptArea.getText());
lblStatusMessage.setText("Creating new Interpreter instance ...");
ib.setScripts(scripts);
ib.captureHistory();
Interpreter<KeyData> currentInterpreter = ib.build();
if (debugMode) {
......
......@@ -124,7 +124,7 @@ public class InterpreterBuilder {
public InterpreterBuilder captureHistory() {
if (historyLogger != null)
if (historyLogger == null)
historyLogger = new HistoryListener(interpreter);
return onEntry(historyLogger);
}
......
......@@ -102,14 +102,7 @@
<tabs>
<Tab fx:id="startTab" text="Untitled">
<content>
<AnchorPane VBox.vgrow="ALWAYS">
<ScrollPane AnchorPane.rightAnchor="0.0" AnchorPane.bottomAnchor="0.0"
AnchorPane.leftAnchor="0.0" AnchorPane.topAnchor="0.0"
fitToWidth="true" fitToHeight="true" hbarPolicy="AS_NEEDED"
vbarPolicy="ALWAYS">
<ScriptArea fx:id="scriptArea" VBox.vgrow="ALWAYS"/>
</ScrollPane>
</AnchorPane>
<ScriptArea fx:id="scriptArea" VBox.vgrow="ALWAYS"/>
</content>
</Tab>
</tabs>
......
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