diff --git a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ProofTree.java b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ProofTree.java index 3eba09a9caa915a36449cdd2d199a31010579a0b..888974a2cb6ed59c835ec53bf28ba3fc322b1a92 100644 --- a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ProofTree.java +++ b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ProofTree.java @@ -162,15 +162,16 @@ public class ProofTree extends BorderPane { public void expandRootToSentinels() { if (getTreeProof().getRoot() == null) { if (root.get() != null) { - TreeItem item = populate("Proof", root.get()); - //populate(root.get().serialNr() + ": " + toString(root.get()), root.get()); + TreeItem item = treeCreation.populate("Proof", root.get()); + // populate(root.get().serialNr() + ": " + root.get().serialNr(), root.get()); //val treeNode = new TreeNode("Proof", root.get()); treeProof.setRoot(item); + } } - //expandRootToLeaves(getTreeProof().getRoot()); + expandRootToLeaves(getTreeProof().getRoot()); } public TreeView getTreeProof() {