fix for issue #392 JavaFX incorrect initial window size on Ubuntu

chriswhocodes · chriswhocodes · commit f49eeaf3137b · 2025-12-28T13:30:58.000Z
diff --git a/ui/src/main/java/org/adoptopenjdk/jitwatch/ui/stage/StageManager.java b/ui/src/main/java/org/adoptopenjdk/jitwatch/ui/stage/StageManager.java
@@ -153,6 +153,13 @@ public static void addAndShow(final Stage parent, final Stage childStage)
 	{
 		addAndShow(parent, childStage, null);
 
+		// fetch scene size and resize window due to JavaFX bug
+		// reported in https://github.com/AdoptOpenJDK/jitwatch/issues/392
+		double width = childStage.getScene().widthProperty().get();
+		double height = childStage.getScene().heightProperty().get();
+
+		childStage.setWidth(width);
+		childStage.setHeight(height);
 	}
 
 	public static void addAndShow(final Stage parent, final Stage childStage, final IStageClosedListener closedListener)

Original file line number	Diff line number	Diff line change
`@@ -153,6 +153,13 @@ public static void addAndShow(final Stage parent, final Stage childStage)`
`153`	`153`	`{`
`154`	`154`	`addAndShow(parent, childStage, null);`
`155`	`155`
	`156`	`+ // fetch scene size and resize window due to JavaFX bug`
	`157`	`+ // reported in https://github.com/AdoptOpenJDK/jitwatch/issues/392`
	`158`	`+ double width = childStage.getScene().widthProperty().get();`
	`159`	`+ double height = childStage.getScene().heightProperty().get();`
	`160`	`+`
	`161`	`+ childStage.setWidth(width);`
	`162`	`+ childStage.setHeight(height);`
`156`	`163`	`}`
`157`	`164`
`158`	`165`	`public static void addAndShow(final Stage parent, final Stage childStage, final IStageClosedListener closedListener)`