Skip to content

实时保存窗口位置尺寸 #5676

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
Xirren wants to merge 3 commits into from
Closed

实时保存窗口位置尺寸 #5676

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
7b74533
及时保存窗口位置尺寸
Xirren Mar 1, 2026
ac3a2fe
update
Xirren Mar 1, 2026
0a39b1a
update
Xirren Mar 1, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
41 changes: 41 additions & 0 deletions HMCL/src/main/java/org/jackhuang/hmcl/ui/Controllers.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,7 @@
import javafx.animation.KeyFrame;
import javafx.animation.KeyValue;
import javafx.animation.Timeline;
import javafx.animation.PauseTransition;
import javafx.beans.InvalidationListener;
import javafx.beans.WeakInvalidationListener;
import javafx.beans.property.DoubleProperty;
Expand Down Expand Up @@ -239,28 +240,41 @@ public static void initialize(Stage stage) {

Controllers.stage = stage;

final Duration DEBOUNCE_DELAY = Duration.millis(600);
final PauseTransition debounceX = new PauseTransition(DEBOUNCE_DELAY);
final PauseTransition debounceY = new PauseTransition(DEBOUNCE_DELAY);
final PauseTransition debounceWidth = new PauseTransition(DEBOUNCE_DELAY);
final PauseTransition debounceHeight = new PauseTransition(DEBOUNCE_DELAY);

stageSizeChangeListener = o -> {
ReadOnlyDoubleProperty sourceProperty = (ReadOnlyDoubleProperty) o;
DoubleProperty targetProperty;
PauseTransition debounce;

switch (sourceProperty.getName()) {
case "x": {
targetProperty = stageX;
debounce = debounceX;
break;
}
case "y": {
targetProperty = stageY;
debounce = debounceY;
break;
}
case "width": {
targetProperty = stageWidth;
debounce = debounceWidth;
break;
}
case "height": {
targetProperty = stageHeight;
debounce = debounceHeight;
break;
}
default: {
targetProperty = null;
debounce = null;
}
}

Expand All @@ -272,6 +286,33 @@ public static void initialize(Stage stage) {
!Controllers.stage.isFullScreen() && !Controllers.stage.isMaximized())
) {
targetProperty.set(sourceProperty.get());

final String name = sourceProperty.getName();
final double value = sourceProperty.get();

if (debounce != null) {
debounce.setOnFinished(event -> {
switch (name) {
case "x": {
config().setX(value / SCREEN.getBounds().getWidth());
break;
}
case "y": {
config().setY(value / SCREEN.getBounds().getHeight());
break;
}
case "width": {
config().setWidth(value);
break;
}
case "height": {
config().setHeight(value);
break;
}
}
});
debounce.playFromStart();
}
}
};

Expand Down