From bf151636988f005808e2dca5cb632052ae45491a Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Sun, 12 Feb 2017 09:38:53 -0500 Subject: [PATCH] digging into system dpi settings --- app/src/processing/app/Platform.java | 8 ++++++++ app/src/processing/app/ui/PreferencesFrame.java | 1 + todo.txt | 2 ++ 3 files changed, 11 insertions(+) diff --git a/app/src/processing/app/Platform.java b/app/src/processing/app/Platform.java index 02b24c142..93b62d4c8 100644 --- a/app/src/processing/app/Platform.java +++ b/app/src/processing/app/Platform.java @@ -399,4 +399,12 @@ public class Platform { static public int unsetenv(String variable) { return inst.unsetenv(variable); } + + + // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . + + + static public int getSystemDPI() { + return inst.getSystemDPI(); + } } \ No newline at end of file diff --git a/app/src/processing/app/ui/PreferencesFrame.java b/app/src/processing/app/ui/PreferencesFrame.java index d0ad96de6..a113093ad 100644 --- a/app/src/processing/app/ui/PreferencesFrame.java +++ b/app/src/processing/app/ui/PreferencesFrame.java @@ -730,6 +730,7 @@ public class PreferencesFrame { consoleFontSizeField.setSelectedItem(Preferences.getInteger("console.font.size")); String zoomSel = Preferences.get("editor.zoom"); + System.out.println(Platform.getSystemDPI()); int zoomIndex = Toolkit.zoomOptions.index(zoomSel); if (zoomIndex != -1) { zoomSelectionBox.setSelectedIndex(zoomIndex); diff --git a/todo.txt b/todo.txt index 05c9be75b..8d8144684 100755 --- a/todo.txt +++ b/todo.txt @@ -11,6 +11,8 @@ X Contribution Manager does not show all libraries until filter cleared X https://github.com/processing/processing/issues/4840 X fixed in 3.2.4 +_ EventQueue problems with "could not find sketch size" message? +_ https://github.com/processing/processing/issues/4893 _ "Sketch disappeared" infinite pop up dialogs _ https://github.com/processing/processing/pull/4808