Fix sequent view update when loading a proof

KeYProject · Nov 12, 2023 · c74a0a1 · c74a0a1
1 parent 81b9b60
commit c74a0a1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/MainWindow.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/MainWindow.java
@@ -1174,6 +1174,7 @@ public void addProblem(final de.uka.ilkd.key.proof.ProofAggregate plist) {
             addToProofList(plist);
             getMediator().getSelectionModel().setSelectedProof(plist.getFirstProof());
             disableCurrentGoalView = false;
+            updateSequentView();
         };
         ThreadUtilities.invokeOnEventQueue(guiUpdater);
     }