Commit 981d8bff authored by Sarah Grebing's avatar Sarah Grebing
Browse files

if/else

parent 5fa9b68a
...@@ -305,6 +305,7 @@ public class DebuggerMain implements Initializable { ...@@ -305,6 +305,7 @@ public class DebuggerMain implements Initializable {
proofTree.setRoot(null); proofTree.setRoot(null);
} else { } else {
proofTree.setRoot(n.root()); proofTree.setRoot(n.root());
InspectionViewsController inspectionViewsController = getInspectionViewsController(); InspectionViewsController inspectionViewsController = getInspectionViewsController();
InspectionView activeInspectionViewTab = inspectionViewsController.getActiveInspectionViewTab(); InspectionView activeInspectionViewTab = inspectionViewsController.getActiveInspectionViewTab();
InspectionModel model = activeInspectionViewTab.getModel(); InspectionModel model = activeInspectionViewTab.getModel();
......
...@@ -82,8 +82,11 @@ public class ScriptTreeView extends BorderPane { ...@@ -82,8 +82,11 @@ public class ScriptTreeView extends BorderPane {
tftc.setConverter(stringConverter); tftc.setConverter(stringConverter);
tftc.itemProperty().addListener((p, o, n) -> { tftc.itemProperty().addListener((p, o, n) -> {
if (n != null) if (n != null) {
repaint(tftc); repaint(tftc);
} else {
tftc.setStyle("");
}
}); });
......
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