macOS: native rounded borders for popups (issue #715)

This commit is contained in:
Karl Tauber
2023-12-09 16:12:35 +01:00
parent c25d857e78
commit 6f32236fb7
23 changed files with 639 additions and 31 deletions

View File

@@ -29,7 +29,11 @@ flatlafJniHeaders {
}
library {
targetMachines.set( listOf( machines.windows.x86, machines.windows.x86_64, machines.windows.architecture( "aarch64" ) ) )
targetMachines.set( listOf(
machines.windows.x86,
machines.windows.x86_64,
machines.windows.architecture( "aarch64" )
) )
}
var javaHome = System.getProperty( "java.home" )