# HG changeset patch # User davidb # Date 1588896943 25200 # Node ID 94cd2d486adc01157dc1c1ba28d8c97fe5b618c3 # Parent 224572069e36dcae35197f402d355087da6b48e4 Tabs to spaces (argh). diff -r 224572069e36 -r 94cd2d486adc src/name/blackcap/exifwasher/HelpDialog.kt --- a/src/name/blackcap/exifwasher/HelpDialog.kt Thu May 07 17:12:25 2020 -0700 +++ b/src/name/blackcap/exifwasher/HelpDialog.kt Thu May 07 17:15:43 2020 -0700 @@ -52,8 +52,8 @@ } private val helpPane = JScrollPane(JTextPane().also { - it.editorKit = MyEditorKit().also { ek -> - UIManager.getFont("Panel.font")?.let { pFont -> + it.editorKit = MyEditorKit().also { ek -> + UIManager.getFont("Panel.font")?.let { pFont -> ek.styleSheet = StyleSheet().apply { addRule("body { font-family: \"${pFont.family}\"; font-size: ${pFont.size}; }") addStyleSheet(ek.defaultStyleSheet)