mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
WIP plugins: cleanup code
GitOrigin-RevId: c2c9b67874f1298afb3c19af8901639a75c181d6
This commit is contained in:
committed by
intellij-monorepo-bot
parent
2b1e46b6ac
commit
6f21ee018a
-24
@@ -31,29 +31,5 @@ class PluginManagerConfigurableForOrg {
|
||||
}
|
||||
|
||||
fun allowInstallFromDisk(): Boolean = false
|
||||
|
||||
fun foo() {
|
||||
BorderLayoutPanel().apply {
|
||||
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
|
||||
|
||||
addToCenter(JBLabel().apply {
|
||||
icon = AllIcons.General.Warning
|
||||
verticalTextPosition = SwingConstants.TOP
|
||||
text = HtmlChunk
|
||||
.html()
|
||||
.addText(LangBundle.message("dialog.label.choose.ide.runtime.warn", ApplicationInfo.getInstance().shortCompanyName))
|
||||
.toString()
|
||||
})
|
||||
|
||||
withPreferredWidth(400)
|
||||
}
|
||||
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user