mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
isRetina fix for headless mode
reviewed by kb
This commit is contained in:
@@ -224,6 +224,8 @@ public class UIUtil {
|
||||
}
|
||||
|
||||
public static boolean isRetina() {
|
||||
if (GraphicsEnvironment.isHeadless()) return false;
|
||||
|
||||
//Temporary workaround for HiDPI on Windows/Linux
|
||||
if ("true".equalsIgnoreCase(System.getProperty("is.hidpi"))) {
|
||||
return true;
|
||||
|
||||
Reference in New Issue
Block a user