mirror of
https://github.com/processing/processing4.git
synced 2026-02-03 21:59:20 +01:00
"Could not delete disable_hidpi" message on macOS/Linux after closing prefs
This commit is contained in:
@@ -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));
|
||||
|
||||
@@ -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");
|
||||
|
||||
Reference in New Issue
Block a user