Skip to content

GitLab

Commit 21d8894d authored by Sarah Grebing's avatar Sarah Grebing
Browse files
Options

Bigfix in starting stepinto

parent e718cec4
Pipeline #23264 passed with stages
        in 3 minutes and 11 seconds
        Hide whitespace changes
        Inline Side-by-side
        Showing with 4 additions and 3 deletions
        ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ProofTree.java
        View file @ 21d8894d
        ......@@ -162,15 +162,16 @@ public class ProofTree extends BorderPane {
        public void expandRootToSentinels() {
        if (getTreeProof().getRoot() == null) {
        if (root.get() != null) {
        TreeItem<TreeNode> item = populate("Proof", root.get());
        //populate(root.get().serialNr() + ": " + toString(root.get()), root.get());
        TreeItem<TreeNode> 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<TreeNode> getTreeProof() {
        ......
        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