Skip to content

GitLab

P
ProofScriptParser
Commit a20c0eba authored by Sarah Grebing's avatar Sarah Grebing
Browse files
Options

First fix for stepping into macros

parent 96e41055
Pipeline #16873 passed with stages
          in 10 minutes and 10 seconds
          Hide whitespace changes
          Inline Side-by-side
          Showing with 3 additions and 2 deletions
          ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ProofTree.java
          View file @ a20c0eba
          ......@@ -162,12 +162,13 @@ public class ProofTree extends BorderPane {
          public void expandRootToLeaves() {
          if (getTreeProof().getRoot() == null) {
          if (root.get() != null) {
          TreeItem<TreeNode> item = new TreeItem<>(new TreeNode(root.get().serialNr() + ": " + toString(root.get()), root.get()));
          TreeItem<TreeNode> item = populate(root.get().serialNr() + ": " + toString(root.get()), root.get());
          //new TreeItem<>(new TreeNode(root.get().serialNr() + ": " + toString(root.get()), 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