lan/HMCL
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Workaround for JDK-8344372

Browse Source 
https://bugs.openjdk.org/browse/JDK-8344372
This commit is contained in:
Haowei Wen
2024-12-31 22:08:54 +08:00
parent 397edaec5d
commit b5cea83a8a
1 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
HMCL/src/main/java/org/jackhuang/hmcl/ui/decorator/DecoratorSkin.java
View File

@@ -324,12 +324,17 @@ public class DecoratorSkin extends SkinBase<Decorator> {
private boolean setStageWidth(double width) { private boolean setStageWidth(double width) {
if (width >= primaryStage.getMinWidth() && width >= titleContainer.getMinWidth()) { if (width >= primaryStage.getMinWidth() && width >= titleContainer.getMinWidth()) {
// Workaround for JDK-8344372 (https://github.com/openjdk/jfx/pull/1654)
// Width and height must be set simultaneously to avoid the bug
primaryStage.setWidth(width); primaryStage.setWidth(width);
primaryStage.setHeight(primaryStage.getHeight());
initX = newX; initX = newX;
return true; return true;
} else { } else {
if (width >= primaryStage.getMinWidth() && width <= titleContainer.getMinWidth()) if (width >= primaryStage.getMinWidth() && width <= titleContainer.getMinWidth()) {
primaryStage.setWidth(titleContainer.getMinWidth()); primaryStage.setWidth(titleContainer.getMinWidth());
primaryStage.setHeight(primaryStage.getHeight());
}
return false; return false;
} }
@@ -338,11 +343,14 @@ public class DecoratorSkin extends SkinBase<Decorator> {
private boolean setStageHeight(double height) { private boolean setStageHeight(double height) {
if (height >= primaryStage.getMinHeight() && height >= titleContainer.getHeight()) { if (height >= primaryStage.getMinHeight() && height >= titleContainer.getHeight()) {
primaryStage.setHeight(height); primaryStage.setHeight(height);
primaryStage.setWidth(primaryStage.getWidth());
initY = newY; initY = newY;
return true; return true;
} else { } else {
if (height >= primaryStage.getMinHeight() && height <= titleContainer.getHeight()) if (height >= primaryStage.getMinHeight() && height <= titleContainer.getHeight()) {
primaryStage.setHeight(titleContainer.getHeight()); primaryStage.setHeight(titleContainer.getHeight());
primaryStage.setWidth(primaryStage.getWidth());
}
return false; return false;
} }