Merge pull request #1738 from hans109h/patch-1

Update JavaFxWindowManager.java for #1619
This commit is contained in:
Denny Sheirer
2023-11-15 05:01:16 -05:00
committed by GitHub

View File

@@ -460,6 +460,9 @@ public class JavaFxWindowManager extends Application
stage.show();
stage.requestFocus();
stage.toFront();
stage.setMinHeight(stage.getHeight());
stage.setMinWidth(stage.getWidth());
// System.out.println("Stage [" + stage.getTitle() + "] restored - width[" + stage.getWidth() + "] height [" + stage.getHeight() + "]");
}
@Override