changeset 56:224572069e36

Always define an editor kit, so we always get HTML mode.
author davidb
date Thu, 07 May 2020 17:12:25 -0700
parents f5faf70c7d10
children 94cd2d486adc
files src/name/blackcap/exifwasher/HelpDialog.kt
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/name/blackcap/exifwasher/HelpDialog.kt	Thu May 07 14:21:23 2020 -0700
+++ b/src/name/blackcap/exifwasher/HelpDialog.kt	Thu May 07 17:12:25 2020 -0700
@@ -52,8 +52,8 @@
     }
 
     private val helpPane = JScrollPane(JTextPane().also {
-        UIManager.getFont("Panel.font")?.let { pFont ->
-            it.editorKit = MyEditorKit().also { ek ->
+		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)