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

DateTime formatters: add a link to documentation

Browse Source 
GitOrigin-RevId: e0932e9bfcf64e53980fac7ad394192b9f40e7b4
This commit is contained in:
Konstantin Bulenkov
2019-09-04 17:31:07 +00:00
committed by intellij-monorepo-bot
parent 4d055d06dc
commit c94235eef2
1 changed files with 10 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/ui/text/DateTimeFormatConfigurableUi.kt
+10 -8
View File
@@ -23,11 +23,12 @@ class DateTimeFormatConfigurableUi(settings: DateTimeFormatManager) : Configurab
private val formattersTable: JTable
private lateinit var allowPrettyFormatting: JCheckBox
private val patterns: MutableMap<String, String?>
private val formatters: Map<String, DateTimeFormatterBean>
private val formatterIds: MutableList<String>
private val formatters: Map<String, DateTimeFormatterBean> =
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(
"<html>Use Date and Time patterns to change date format. Example, <b>yyyy.MM.dd G 'at' HH:mm:ss z</b> For more examples visit <a href='https://docs.oracle.com/javase/7/docs/api/java/text/SimpleDateFormat.html'>the documentation page</a>.</html>")
}
}
@@ -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 {