Fix proof caching window position

FliegendeWurst · FliegendeWurst · commit c3ec3e40e89c · 2026-07-07T23:03:49.000+02:00
On Linux (KDE, Wayland) setLocationByPlatform does not work properly.
The window is positioned in the top-left corner instead of center.
diff --git a/keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/ReferenceSearchDialog.java b/keyext.caching/src/main/java/de/uka/ilkd/key/gui/plugins/caching/ReferenceSearchDialog.java
@@ -61,7 +61,6 @@ public ReferenceSearchDialog(Proof proof, ReferenceSearchDialogListener listener
         super(MainWindow.getInstance());
         table = new ReferenceSearchTable(proof, MainWindow.getInstance().getMediator());
         table.getTableHeader().setReorderingAllowed(false);
-        this.setLocationByPlatform(true);
         this.setTitle("Proof Caching");
         this.listener = listener;
 
@@ -100,6 +99,7 @@ public ReferenceSearchDialog(Proof proof, ReferenceSearchDialogListener listener
         }
 
         this.pack();
+        setLocationRelativeTo(MainWindow.getInstance());
     }
 
     private JButton getApplyButton() {

Original file line number	Diff line number	Diff line change
`@@ -61,7 +61,6 @@ public ReferenceSearchDialog(Proof proof, ReferenceSearchDialogListener listener`
`61`	`61`	`super(MainWindow.getInstance());`
`62`	`62`	`table = new ReferenceSearchTable(proof, MainWindow.getInstance().getMediator());`
`63`	`63`	`table.getTableHeader().setReorderingAllowed(false);`
`64`		`- this.setLocationByPlatform(true);`
`65`	`64`	`this.setTitle("Proof Caching");`
`66`	`65`	`this.listener = listener;`
`67`	`66`
`@@ -100,6 +99,7 @@ public ReferenceSearchDialog(Proof proof, ReferenceSearchDialogListener listener`
`100`	`99`	`}`
`101`	`100`
`102`	`101`	`this.pack();`
	`102`	`+ setLocationRelativeTo(MainWindow.getInstance());`
`103`	`103`	`}`
`104`	`104`
`105`	`105`	`private JButton getApplyButton() {`