Mercurial > cgi-bin > hgweb.cgi > JpegWasher
diff src/name/blackcap/exifwasher/HelpDialog.kt @ 54:40911898ed23
Fix multiple border glitches.
author | davidb |
---|---|
date | Thu, 07 May 2020 14:05:40 -0700 |
parents | 61a06e050bac |
children | 224572069e36 |
line wrap: on
line diff
--- a/src/name/blackcap/exifwasher/HelpDialog.kt Thu May 07 12:33:52 2020 -0700 +++ b/src/name/blackcap/exifwasher/HelpDialog.kt Thu May 07 14:05:40 2020 -0700 @@ -4,7 +4,6 @@ */ package name.blackcap.exifwasher -import java.awt.Color import java.awt.Dimension import java.awt.Font import java.awt.event.ActionEvent @@ -17,7 +16,6 @@ import java.util.logging.Level import java.util.logging.Logger import javax.swing.* -import javax.swing.UIManager import javax.swing.text.html.HTMLEditorKit import javax.swing.text.html.StyleSheet @@ -66,9 +64,7 @@ it.setEditable(false) }).apply { alignmentX = JScrollPane.CENTER_ALIGNMENT - border = BorderFactory.createCompoundBorder( - BorderFactory.createEmptyBorder(BW2, BW2, BW, BW2), - UIManager.getBorder("ScrollPane.border") ?: BorderFactory.createLineBorder(Color.GRAY)) + addBorder(BorderFactory.createEmptyBorder(BW2, BW2, BW, BW2)) verticalScrollBarPolicy = ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS horizontalScrollBarPolicy = ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER preferredSize = Dimension(WIDTH, HEIGHT)