From c94235eef2377db3ee53fbfebd3b3bca1abae397 Mon Sep 17 00:00:00 2001 From: Konstantin Bulenkov Date: Wed, 4 Sep 2019 19:13:19 +0200 Subject: [PATCH] DateTime formatters: add a link to documentation GitOrigin-RevId: e0932e9bfcf64e53980fac7ad394192b9f40e7b4 --- .../ui/text/DateTimeFormatConfigurableUi.kt | 18 ++++++++++-------- 1 file changed, 10 insertions(+), 8 deletions(-) diff --git a/platform/platform-impl/src/com/intellij/ide/ui/text/DateTimeFormatConfigurableUi.kt b/platform/platform-impl/src/com/intellij/ide/ui/text/DateTimeFormatConfigurableUi.kt index 02dd6102b134..05c17d0d0a0a 100644 --- a/platform/platform-impl/src/com/intellij/ide/ui/text/DateTimeFormatConfigurableUi.kt +++ b/platform/platform-impl/src/com/intellij/ide/ui/text/DateTimeFormatConfigurableUi.kt @@ -23,11 +23,12 @@ class DateTimeFormatConfigurableUi(settings: DateTimeFormatManager) : Configurab private val formattersTable: JTable private lateinit var allowPrettyFormatting: JCheckBox private val patterns: MutableMap - private val formatters: Map private val formatterIds: MutableList + private val formatters: Map = + DateTimeFormatterBean.EP_NAME.getExtensionList(null).map { it.id to it }.toMap() + init { - formatters = DateTimeFormatterBean.EP_NAME.getExtensionList(null).map { it.id to it }.toMap() formatterIds = formatters.keys.toMutableList() formatterIds.sort() patterns = formatterIds.map { it to settings.getDateFormatPattern(it) }.toMap().toMutableMap() @@ -35,14 +36,14 @@ class DateTimeFormatConfigurableUi(settings: DateTimeFormatManager) : Configurab ui = panel { row { allowPrettyFormatting = checkBox("Allow pretty formatting", - { settings.isPrettyFormattingAllowed }, - { settings.isPrettyFormattingAllowed = it }).component + { settings.isPrettyFormattingAllowed }, + { settings.isPrettyFormattingAllowed = it }).component } row { - cell(isFullWidth = true) { - scrollPane(formattersTable) - } + scrollPane(formattersTable) } + commentRow( + "Use Date and Time patterns to change date format. Example, yyyy.MM.dd G 'at' HH:mm:ss z For more examples visit the documentation page.") } } @@ -69,9 +70,10 @@ class DateTimeFormatConfigurableUi(settings: DateTimeFormatManager) : Configurab override fun reset(settings: DateTimeFormatManager) { allowPrettyFormatting.isSelected = settings.isPrettyFormattingAllowed - settings.ids.forEach { + formatterIds.forEach { patterns[it] = settings.getDateFormatPattern(it) } + formattersTable.revalidate() } override fun isModified(settings: DateTimeFormatManager): Boolean {