|
@@ -59,7 +59,6 @@ public class Settings {
|
|
|
public final StringProperty keychainProvider;
|
|
|
public final ObjectProperty<NodeOrientation> userInterfaceOrientation;
|
|
|
public final StringProperty licenseKey;
|
|
|
- public final BooleanProperty showMinimizeButton;
|
|
|
public final BooleanProperty showTrayIcon;
|
|
|
public final IntegerProperty windowXPosition;
|
|
|
public final IntegerProperty windowYPosition;
|
|
@@ -96,7 +95,6 @@ public class Settings {
|
|
|
this.keychainProvider = new SimpleStringProperty(this, "keychainProvider", json.keychainProvider);
|
|
|
this.userInterfaceOrientation = new SimpleObjectProperty<>(this, "userInterfaceOrientation", parseEnum(json.uiOrientation, NodeOrientation.class, NodeOrientation.LEFT_TO_RIGHT));
|
|
|
this.licenseKey = new SimpleStringProperty(this, "licenseKey", json.licenseKey);
|
|
|
- this.showMinimizeButton = new SimpleBooleanProperty(this, "showMinimizeButton", json.showMinimizeButton);
|
|
|
this.showTrayIcon = new SimpleBooleanProperty(this, "showTrayIcon", json.showTrayIcon);
|
|
|
this.windowXPosition = new SimpleIntegerProperty(this, "windowXPosition", json.windowXPosition);
|
|
|
this.windowYPosition = new SimpleIntegerProperty(this, "windowYPosition", json.windowYPosition);
|
|
@@ -123,7 +121,6 @@ public class Settings {
|
|
|
keychainProvider.addListener(this::somethingChanged);
|
|
|
userInterfaceOrientation.addListener(this::somethingChanged);
|
|
|
licenseKey.addListener(this::somethingChanged);
|
|
|
- showMinimizeButton.addListener(this::somethingChanged);
|
|
|
showTrayIcon.addListener(this::somethingChanged);
|
|
|
windowXPosition.addListener(this::somethingChanged);
|
|
|
windowYPosition.addListener(this::somethingChanged);
|
|
@@ -177,7 +174,6 @@ public class Settings {
|
|
|
json.keychainProvider = keychainProvider.get();
|
|
|
json.uiOrientation = userInterfaceOrientation.get().name();
|
|
|
json.licenseKey = licenseKey.get();
|
|
|
- json.showMinimizeButton = showMinimizeButton.get();
|
|
|
json.showTrayIcon = showTrayIcon.get();
|
|
|
json.windowXPosition = windowXPosition.get();
|
|
|
json.windowYPosition = windowYPosition.get();
|