digging into system dpi settings

This commit is contained in:
Ben Fry
2017-02-12 09:38:53 -05:00
parent 5315b631b3
commit bf15163698
3 changed files with 11 additions and 0 deletions

View File

@@ -399,4 +399,12 @@ public class Platform {
static public int unsetenv(String variable) {
return inst.unsetenv(variable);
}
// . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
static public int getSystemDPI() {
return inst.getSystemDPI();
}
}

View File

@@ -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);

View File

@@ -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