comparison src/name/blackcap/clipman/Main.kt @ 28:f1fcc1281dad

Use BorderFactory; clean up Find dialog.
author David Barts <n5jrn@me.com>
date Wed, 29 Jan 2020 13:39:14 -0800
parents 8aa2dfac27eb
children c4f53bc01732
comparison
equal deleted inserted replaced
27:8aa2dfac27eb 28:f1fcc1281dad
14 import java.awt.event.WindowListener 14 import java.awt.event.WindowListener
15 import java.util.Date 15 import java.util.Date
16 import java.util.logging.Level 16 import java.util.logging.Level
17 import java.util.logging.Logger 17 import java.util.logging.Logger
18 import javax.swing.* 18 import javax.swing.*
19 import javax.swing.border.*
20 import javax.swing.text.html.StyleSheet 19 import javax.swing.text.html.StyleSheet
21 import kotlin.concurrent.thread 20 import kotlin.concurrent.thread
22 import org.jsoup.Jsoup 21 import org.jsoup.Jsoup
23 import org.jsoup.nodes.* 22 import org.jsoup.nodes.*
24 23
164 inSynSwingThread { 163 inSynSwingThread {
165 UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName()); 164 UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
166 frame.v = JFrame(MYNAME) 165 frame.v = JFrame(MYNAME)
167 con = JPanel().apply { 166 con = JPanel().apply {
168 layout = BoxLayout(this, BoxLayout.Y_AXIS) 167 layout = BoxLayout(this, BoxLayout.Y_AXIS)
169 border = EmptyBorder(PANEL_BORDER, PANEL_BORDER, PANEL_BORDER, PANEL_BORDER) 168 border = BorderFactory.createEmptyBorder(PANEL_BORDER, PANEL_BORDER, PANEL_BORDER, PANEL_BORDER)
170 background = frame.v.background 169 background = frame.v.background
171 } 170 }
172 frame.v.jMenuBar = menuBar 171 frame.v.jMenuBar = menuBar
173 frame.v.apply { 172 frame.v.apply {
174 contentPane.add( 173 contentPane.add(