Fix formatting

flo2702 · flo2702 · commit a12644c7bb98 · 2026-03-03T17:11:09.000+01:00
diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/prooftree/GUIProofTreeModel.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/prooftree/GUIProofTreeModel.java
@@ -402,7 +402,8 @@ private synchronized void updateTree(GUIAbstractTreeNode trn) {
 
         // If possible, redraw only a certain subtree
         // starting from the lowermost parent of trn that is not hidden
-        while (trn != null && trn != getRoot() && ProofTreeViewFilter.hiddenByGlobalFilters(trn.getNode())) {
+        while (trn != null && trn != getRoot()
+                && ProofTreeViewFilter.hiddenByGlobalFilters(trn.getNode())) {
             trn = (GUIAbstractTreeNode) trn.getParent();
         }
 

Original file line number	Diff line number	Diff line change
`@@ -402,7 +402,8 @@ private synchronized void updateTree(GUIAbstractTreeNode trn) {`
`402`	`402`
`403`	`403`	`// If possible, redraw only a certain subtree`
`404`	`404`	`// starting from the lowermost parent of trn that is not hidden`
`405`		`- while (trn != null && trn != getRoot() && ProofTreeViewFilter.hiddenByGlobalFilters(trn.getNode())) {`
	`405`	`+ while (trn != null && trn != getRoot()`
	`406`	`+ && ProofTreeViewFilter.hiddenByGlobalFilters(trn.getNode())) {`
`406`	`407`	`trn = (GUIAbstractTreeNode) trn.getParent();`
`407`	`408`	`}`
`408`	`409`