File tree Expand file tree Collapse file tree
src/main/kotlin/be/ugent/topl/mio/ui Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -8,6 +8,7 @@ import com.formdev.flatlaf.themes.FlatMacDarkLaf
88import com.formdev.flatlaf.themes.FlatMacLightLaf
99import com.formdev.flatlaf.util.SystemInfo
1010import java.awt.Desktop
11+ import java.awt.Dimension
1112import java.awt.Image
1213import javax.swing.*
1314
@@ -16,7 +17,7 @@ open class AboutScreen(protected val config: DebuggerConfig) : JFrame() {
1617 init {
1718 configureTheme()
1819 setSize(400 , 300 )
19- isResizable = false
20+ minimumSize = Dimension ( 400 , 300 )
2021 val mainPanel = JPanel ()
2122 mainPanel.setLayout(BoxLayout (mainPanel, BoxLayout .Y_AXIS ))
2223 mainPanel.border = BorderFactory .createEmptyBorder(20 , 20 , 20 , 20 )
@@ -44,6 +45,7 @@ open class AboutScreen(protected val config: DebuggerConfig) : JFrame() {
4445 }
4546
4647 private fun configureTheme () {
48+ System .setProperty(" sun.java2d.uiScale" , config.uiScale)
4749 if (SystemInfo .isMacFullWindowContentSupported) {
4850 rootPane.putClientProperty(" apple.awt.transparentTitleBar" , true )
4951 rootPane.putClientProperty(" apple.awt.fullWindowContent" , true )
You can’t perform that action at this time.
0 commit comments