mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
[settings-sync] IJPL-200620: fix "Choose Provider" and "Choose Settings Source" title font
(cherry picked from commit 73a894cfc96a7d264b46e7940f6795404fc5d124) IJ-CR-174183 GitOrigin-RevId: 7de2d3c48411e8122a4031693a279f1b51bf5883
This commit is contained in:
committed by
intellij-monorepo-bot
parent
b8aee5082b
commit
b481cab96c
@@ -840,7 +840,9 @@ internal class SettingsSyncConfigurable(private val coroutineScope: CoroutineSco
|
||||
icon(AllIcons.General.QuestionDialog).align(AlignY.TOP)
|
||||
panel {
|
||||
row {
|
||||
text(message("enable.dialog.source.option.title")).bold()
|
||||
text(message("enable.dialog.source.option.title")).applyToComponent {
|
||||
font = JBFont.h3()
|
||||
}
|
||||
}
|
||||
row {
|
||||
text(message("enable.dialog.source.option.text"), 50)
|
||||
@@ -883,7 +885,7 @@ internal class SettingsSyncConfigurable(private val coroutineScope: CoroutineSco
|
||||
panel {
|
||||
row {
|
||||
text(message("enable.sync.choose.data.provider.title")).applyToComponent {
|
||||
font = JBFont.h4()
|
||||
font = JBFont.h3()
|
||||
}
|
||||
}
|
||||
val availableProviders = RemoteCommunicatorHolder.getAvailableProviders().filter { it.isAvailable() }
|
||||
|
||||
Reference in New Issue
Block a user