Skip to content

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

bugfix NPE after reload

parent 3675c5ae
Pipeline #17019 passed with stages
          in 11 minutes and 6 seconds
          Hide whitespace changes
          Inline Side-by-side
          Showing with 2 additions and 1 deletion
          ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java
          View file @ e1d0cfa4
          ......@@ -283,9 +283,10 @@ public class DebuggerMain implements Initializable {
          */
          private void handleStatePointerUI(PTreeNode<KeyData> node) {
          graph.addPartiallyAndMark(node);
          if (node != null) {
          graph.addPartiallyAndMark(node);
          getInspectionViewsController().getActiveInspectionViewTab().activate(node, node.getStateBeforeStmt());
          scriptController.getDebugPositionHighlighter().highlight(node.getStatement());
          } else {
          ......
          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