rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00
Code Issues Releases Activity

Windows: Autodetection of display resolution

Browse Source
This commit is contained in:
Cristian Maglie 2016-11-03 16:30:52 +02:00
parent d63162b5a1
commit 03225e787f
1 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
arduino-core/src/processing/app/windows/Platform.java
View File

@ -35,6 +35,9 @@ import java.nio.file.Paths;
import java.util.LinkedList;
import java.util.List;
import com.sun.jna.Native;
import com.sun.jna.win32.StdCallLibrary;
import com.sun.jna.win32.W32APIOptions;
public class Platform extends processing.app.Platform {
@ -240,4 +243,22 @@ public class Platform extends processing.app.Platform {
Files.move(oldSettingsFolder, settingsFolder.toPath());
}
// Need to extend com.sun.jna.platform.win32.User32 to access
// Win32 function GetDpiForSystem()
interface ExtUser32 extends StdCallLibrary, com.sun.jna.platform.win32.User32 {
ExtUser32 INSTANCE = (ExtUser32) Native.loadLibrary("user32", ExtUser32.class, W32APIOptions.DEFAULT_OPTIONS);
public int GetDpiForSystem();
}
@Override
public int getSystemDPI() {
try {
return ExtUser32.INSTANCE.GetDpiForSystem();
} catch (Throwable e) {
// DPI detection failed, fall back with default
return super.getSystemDPI();
}
}
}