MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

runtime-chooser: XTEST-635 add extra border on Windows (suggested by Alina)

Browse Source 
GitOrigin-RevId: a3ada6c52fef9d032df2320206c2845498f2ed40
This commit is contained in:
Eugene Petrenko
2021-03-22 13:54:50 +00:00
committed by intellij-monorepo-bot
parent 30072cdfdc
commit f2fdbb0cb3
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/openapi/projectRoots/impl/jdkDownloader/RuntimeChooserDialog.kt
+6 -1
View File
@@ -13,6 +13,7 @@ import com.intellij.openapi.ui.ComboBox
import com.intellij.openapi.ui.DialogWrapper
import com.intellij.openapi.ui.TextFieldWithBrowseButton
import com.intellij.openapi.util.Disposer
import com.intellij.openapi.util.SystemInfo
import com.intellij.openapi.util.io.FileUtil
import com.intellij.openapi.util.text.HtmlChunk
import com.intellij.ui.JBColor
@@ -119,7 +120,11 @@ class RuntimeChooserDialog(
override fun createTitlePane(): JComponent {
return BorderLayoutPanel().apply {
border = JBUI.Borders.merge(JBUI.Borders.empty(10), JBUI.Borders.customLineBottom(JBColor.border()), true)
val customLine = when {
SystemInfo.isWindows -> JBUI.Borders.customLine(JBColor.border(), 1, 0, 1, 0)
else -> JBUI.Borders.customLineBottom(JBColor.border())
}
border = JBUI.Borders.merge(JBUI.Borders.empty(10), customLine, true)
background = JBUI.CurrentTheme.Notification.BACKGROUND
foreground = JBUI.CurrentTheme.Notification.FOREGROUND