From fcf4b0e1808affc692a19143e5de405b326c49ce Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Mon, 17 Jan 2022 21:31:46 -0500 Subject: [PATCH] "Could not delete disable_hidpi" message on macOS/Linux after closing prefs --- app/src/processing/app/ui/PreferencesFrame.java | 8 ++++++-- app/src/processing/app/ui/Splash.java | 1 + 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/app/src/processing/app/ui/PreferencesFrame.java b/app/src/processing/app/ui/PreferencesFrame.java index fd3c2c4d0..fc347305c 100644 --- a/app/src/processing/app/ui/PreferencesFrame.java +++ b/app/src/processing/app/ui/PreferencesFrame.java @@ -663,7 +663,9 @@ public class PreferencesFrame { Preferences.set("editor.zoom", String.valueOf(zoomSelectionBox.getSelectedItem())); - Splash.setDisableHiDPI(hidpiDisableBox.isSelected()); + if (Platform.isWindows()) { + Splash.setDisableHiDPI(hidpiDisableBox.isSelected()); + } Preferences.setColor("run.present.bgcolor", presentColor.getBackground()); @@ -726,7 +728,9 @@ public class PreferencesFrame { } else { zoomSelectionBox.setSelectedIndex(0); } - hidpiDisableBox.setSelected(Splash.getDisableHiDPI()); + if (Platform.isWindows()) { + hidpiDisableBox.setSelected(Splash.getDisableHiDPI()); + } presentColor.setBackground(Preferences.getColor("run.present.bgcolor")); presentColorHex.setText(Preferences.get("run.present.bgcolor").substring(1)); diff --git a/app/src/processing/app/ui/Splash.java b/app/src/processing/app/ui/Splash.java index 52e4448b1..9485bff66 100755 --- a/app/src/processing/app/ui/Splash.java +++ b/app/src/processing/app/ui/Splash.java @@ -143,6 +143,7 @@ public class Splash extends JFrame { } + // should only be called from Windows static public void setDisableHiDPI(boolean disabled) { try { File propsFile = Platform.getContentFile("disable_hidpi");