Mercurial > cgi-bin > hgweb.cgi > JpegWasher
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 } |