comparison src/name/blackcap/exifwasher/HelpDialog.kt @ 57:94cd2d486adc

Tabs to spaces (argh).
author davidb
date Thu, 07 May 2020 17:15:43 -0700
parents 224572069e36
children
comparison
equal deleted inserted replaced
56:224572069e36 57:94cd2d486adc
50 return super.getStyleSheet() 50 return super.getStyleSheet()
51 } 51 }
52 } 52 }
53 53
54 private val helpPane = JScrollPane(JTextPane().also { 54 private val helpPane = JScrollPane(JTextPane().also {
55 it.editorKit = MyEditorKit().also { ek -> 55 it.editorKit = MyEditorKit().also { ek ->
56 UIManager.getFont("Panel.font")?.let { pFont -> 56 UIManager.getFont("Panel.font")?.let { pFont ->
57 ek.styleSheet = StyleSheet().apply { 57 ek.styleSheet = StyleSheet().apply {
58 addRule("body { font-family: \"${pFont.family}\"; font-size: ${pFont.size}; }") 58 addRule("body { font-family: \"${pFont.family}\"; font-size: ${pFont.size}; }")
59 addStyleSheet(ek.defaultStyleSheet) 59 addStyleSheet(ek.defaultStyleSheet)
60 } 60 }
61 } 61 }