mirrors/JetBrainsRuntime
1
0
Fork 0
mirror of https://github.com/JetBrains/JetBrainsRuntime.git synced 2025-12-06 09:29:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

JBR-5285 Add doPrivileged for WFramePeer#WIN11_OR_NEWER os.name & os.version check.

Browse Source
This commit is contained in:
Nikita Gubarkov
2023-03-15 23:21:28 +02:00
parent 7dd7110aca
commit 5c962ccb98
1 changed files with 10 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/java.desktop/windows/classes/sun/awt/windows/WFramePeer.java
View File

@@ -266,17 +266,20 @@ class WFramePeer extends WWindowPeer implements FramePeer {
}
private static native void updateCustomTitleBar(WWindowPeer peer);
// Used from native
private static final boolean WIN11_OR_NEWER;
static {
if ("Windows 10".equals(System.getProperty("os.name"))) {
WIN11_OR_NEWER = false;
@SuppressWarnings("removal")
private static boolean isWin11OrNewer() {
String osName = AccessController.doPrivileged(new GetPropertyAction("os.name"));
String osVersion = AccessController.doPrivileged(new GetPropertyAction("os.version"));
if ("Windows 10".equals(osName)) {
return false;
} else {
int version = 10;
try {
version = (int) Double.parseDouble(System.getProperty("os.version"));
version = (int) Double.parseDouble(osVersion);
} catch (NullPointerException | NumberFormatException ignored) {}
WIN11_OR_NEWER = version >= 10;
return version >= 10;
}
}
// Used from native
private static final boolean WIN11_OR_NEWER = isWin11OrNewer();
}