ClipMan: src/name/blackcap/clipman/Main.kt annotate

annotate src/name/blackcap/clipman/Main.kt @ 26:ff35fabaea3a

Added tag pre-big-reorg for changeset 3129d0e24086

author	David Barts <n5jrn@me.com>
date	Wed, 29 Jan 2020 10:47:46 -0800
parents	dac8dfb4b549
children	8aa2dfac27eb

rev	line source
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	1 /*
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	2 * The entry point and most of the view logic is here.
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	3 */
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	4 package name.blackcap.clipman
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	5
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	6 import java.awt.BorderLayout
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	7 import java.awt.Color
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	8 import java.awt.Container
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	9 import java.awt.Dimension
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	10 import java.awt.Font
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	11 import java.awt.Toolkit;
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	12 import java.awt.datatransfer.*
24 dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	13 import java.awt.event.ActionEvent
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	14 import java.awt.event.ActionListener
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	15 import java.awt.event.KeyEvent
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	16 import java.awt.event.WindowEvent
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	17 import java.awt.event.WindowListener
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	18 import java.util.Date
13 fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that. David Barts <n5jrn@me.com> parents: 12 diff changeset	19 import java.util.concurrent.Semaphore
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	20 import java.util.logging.Level
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	21 import java.util.logging.Logger
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	22 import javax.swing.*
8 7715ff59f053 Get layout of main display non-ugly. David Barts <n5jrn@me.com> parents: 7 diff changeset	23 import javax.swing.border.*
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	24 import javax.swing.text.JTextComponent
24 dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	25 import javax.swing.text.html.HTMLEditorKit
13 fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that. David Barts <n5jrn@me.com> parents: 12 diff changeset	26 import javax.swing.text.html.StyleSheet
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	27 import kotlin.concurrent.thread
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	28 import org.jsoup.Jsoup
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	29 import org.jsoup.nodes.*
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	30
7 fbb3a6999590 More border tweaks, etc. David Barts <n5jrn@me.com> parents: 6 diff changeset	31 /* name we call ourselves */
fbb3a6999590 More border tweaks, etc. David Barts <n5jrn@me.com> parents: 6 diff changeset	32 val MYNAME = "ClipMan"
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	33
8 7715ff59f053 Get layout of main display non-ugly. David Barts <n5jrn@me.com> parents: 7 diff changeset	34 /* default sizes */
7715ff59f053 Get layout of main display non-ugly. David Barts <n5jrn@me.com> parents: 7 diff changeset	35 val CPWIDTH = 640
7715ff59f053 Get layout of main display non-ugly. David Barts <n5jrn@me.com> parents: 7 diff changeset	36 val CPHEIGHT = 480
9 8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	37
8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	38 /* border widths */
8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	39 val PANEL_BORDER = 9
10 e7e067f5b649 Make border sizes more explicit. David Barts <n5jrn@me.com> parents: 9 diff changeset	40 val OUTER_BORDER_TOP = 3
e7e067f5b649 Make border sizes more explicit. David Barts <n5jrn@me.com> parents: 9 diff changeset	41 val OUTER_BORDER = 9
9 8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	42 val INNER_BORDER = 1
8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	43 val MARGIN_BORDER = 3
8 7715ff59f053 Get layout of main display non-ugly. David Barts <n5jrn@me.com> parents: 7 diff changeset	44
13 fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that. David Barts <n5jrn@me.com> parents: 12 diff changeset	45 /* default font sizes in the text-display panes */
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that. David Barts <n5jrn@me.com> parents: 12 diff changeset	46 val MONO_SIZE = 14
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that. David Barts <n5jrn@me.com> parents: 12 diff changeset	47 val PROP_SIZE = 16
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that. David Barts <n5jrn@me.com> parents: 12 diff changeset	48
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	49 /* kills the updating thread (and does a system exit) when needed */
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	50 class KillIt(val thr: Thread) : WindowListener {
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	51 // events we don't care about
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	52 override fun windowActivated(e: WindowEvent) {}
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	53 override fun windowClosed(e: WindowEvent) {}
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	54 override fun windowDeactivated(e: WindowEvent) {}
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	55 override fun windowDeiconified(e: WindowEvent) {}
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	56 override fun windowIconified(e: WindowEvent) {}
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	57 override fun windowOpened(e: WindowEvent) {}
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	58
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	59 // and the one we do
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	60 override fun windowClosing(e: WindowEvent) {
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	61 thr.run { interrupt(); join() }
6 0640efd6b54a Tweak borders (incomplete). David Barts <n5jrn@me.com> parents: 4 diff changeset	62 LOGGER.log(Level.INFO, "execution complete")
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	63 System.exit(0)
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	64 }
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	65 }
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	66
11 5bbb436fbcf7 Fix the glitch of the JTextPane's sometimes being too tall. David Barts <n5jrn@me.com> parents: 10 diff changeset	67 class ClipText: JTextPane() {
5bbb436fbcf7 Fix the glitch of the JTextPane's sometimes being too tall. David Barts <n5jrn@me.com> parents: 10 diff changeset	68 override fun getMaximumSize(): Dimension {
5bbb436fbcf7 Fix the glitch of the JTextPane's sometimes being too tall. David Barts <n5jrn@me.com> parents: 10 diff changeset	69 return Dimension(Int.MAX_VALUE, preferredSize.height)
5bbb436fbcf7 Fix the glitch of the JTextPane's sometimes being too tall. David Barts <n5jrn@me.com> parents: 10 diff changeset	70 }
5bbb436fbcf7 Fix the glitch of the JTextPane's sometimes being too tall. David Barts <n5jrn@me.com> parents: 10 diff changeset	71 }
5bbb436fbcf7 Fix the glitch of the JTextPane's sometimes being too tall. David Barts <n5jrn@me.com> parents: 10 diff changeset	72
20 17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	73 /* HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. */
17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	74 class MyEditorKit: HTMLEditorKit() {
17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	75 private var _styleSheet = defaultStyleSheet
17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	76 override fun getStyleSheet() = _styleSheet
17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	77 override fun setStyleSheet(value: StyleSheet) {
17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	78 _styleSheet = value
17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	79 }
17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	80
17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	81 val defaultStyleSheet: StyleSheet
17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	82 get() {
17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	83 return super.getStyleSheet()
17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	84 }
17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	85 }
17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	86
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	87 /* the updating thread */
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	88 class UpdateIt(val queue: PasteboardQueue, val interval: Int): Thread() {
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	89 @Volatile var enabled = true
9 8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	90 private val outerBorder =
10 e7e067f5b649 Make border sizes more explicit. David Barts <n5jrn@me.com> parents: 9 diff changeset	91 MatteBorder(OUTER_BORDER_TOP, OUTER_BORDER, OUTER_BORDER, OUTER_BORDER,
9 8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	92 queue.parent.background)
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	93 private val stdBorder =
9 8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	94 CompoundBorder(LineBorder(Color.GRAY, INNER_BORDER),
8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	95 EmptyBorder(MARGIN_BORDER, MARGIN_BORDER, MARGIN_BORDER, MARGIN_BORDER))
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	96
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	97 override fun run() {
17 9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	98 var oldContents: PasteboardItem? = null
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	99 while (true) {
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	100 if (enabled) {
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	101 var contents = PasteboardItem.read()
17 9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	102 if ((contents != null) && (contents != oldContents)) {
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	103 val stdWidth = queue.parent.size.width - 2 * (PANEL_BORDER+OUTER_BORDER+INNER_BORDER+MARGIN_BORDER)
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	104 val widget = JPanel().apply {
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	105 layout = BoxLayout(this, BoxLayout.Y_AXIS)
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	106 background = queue.parent.background
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	107 border = outerBorder
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	108 }
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	109 val (plain, html) = when(contents) {
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	110 is PasteboardItem.Plain -> Pair(contents.plain, null)
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	111 is PasteboardItem.HTML -> Pair(null, contents.html)
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	112 is PasteboardItem.RTF -> Pair(contents.plain, contents.html)
3 70caa73e32f7 Stop it from spinning on non-textual clipboard data. David Barts <n5jrn@me.com> parents: 0 diff changeset	113 }
21 c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	114 var searchable: JTextComponent? = null
17 9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	115 if (html == null) {
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	116 widget.run {
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	117 add(stdLabel("Plain text"))
21 c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	118 searchable = ClipText().apply {
17 9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	119 contentType = "text/plain"
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	120 text = plain
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	121 font = Font(Font.MONOSPACED, Font.PLAIN, MONO_SIZE)
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	122 border = stdBorder
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	123 autoSize(stdWidth)
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	124 setEditable(false)
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	125 alignmentX = JTextPane.LEFT_ALIGNMENT
21 c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	126 }
c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	127 add(searchable)
8 7715ff59f053 Get layout of main display non-ugly. David Barts <n5jrn@me.com> parents: 7 diff changeset	128 }
17 9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	129 } else {
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	130 widget.run {
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	131 add(stdLabel("Styled text"))
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	132 val (dhtml, style) = preproc(html)
20 17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	133 val hek = MyEditorKit().apply {
17296054c103 HTMLEditorKit shares all stylesheets. How unbelievably braindamaged. David Barts <n5jrn@me.com> parents: 19 diff changeset	134 style.addStyleSheet(defaultStyleSheet)
17 9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	135 styleSheet = style
3 70caa73e32f7 Stop it from spinning on non-textual clipboard data. David Barts <n5jrn@me.com> parents: 0 diff changeset	136 }
21 c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	137 searchable = ClipText().apply {
17 9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	138 editorKit = hek
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	139 text = dhtml
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	140 border = stdBorder
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	141 autoSize(stdWidth)
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	142 setEditable(false)
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	143 alignmentX = JTextPane.LEFT_ALIGNMENT
21 c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	144 }
c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	145 add(searchable)
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	146 }
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	147 }
21 c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	148 queue.add(QueueItem(widget, searchable!!, contents))
17 9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient. David Barts <n5jrn@me.com> parents: 15 diff changeset	149 oldContents = contents
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	150 }
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	151 }
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	152 if (Thread.interrupted()) {
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	153 return
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	154 }
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	155 try {
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	156 Thread.sleep(interval - System.currentTimeMillis() % interval)
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	157 } catch (e: InterruptedException) {
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	158 return
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	159 }
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	160 }
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	161 }
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	162
8 7715ff59f053 Get layout of main display non-ugly. David Barts <n5jrn@me.com> parents: 7 diff changeset	163 private fun stdLabel(text: String) = JLabel(text).apply {
7715ff59f053 Get layout of main display non-ugly. David Barts <n5jrn@me.com> parents: 7 diff changeset	164 horizontalAlignment = JLabel.LEFT
7715ff59f053 Get layout of main display non-ugly. David Barts <n5jrn@me.com> parents: 7 diff changeset	165 alignmentX = JLabel.LEFT_ALIGNMENT
7715ff59f053 Get layout of main display non-ugly. David Barts <n5jrn@me.com> parents: 7 diff changeset	166 }
7715ff59f053 Get layout of main display non-ugly. David Barts <n5jrn@me.com> parents: 7 diff changeset	167
13 fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that. David Barts <n5jrn@me.com> parents: 12 diff changeset	168 private fun preproc(html: String): Pair<String, StyleSheet> {
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that. David Barts <n5jrn@me.com> parents: 12 diff changeset	169 val sty = StyleSheet().apply {
15 732f92dc3bc6 Don't need head. David Barts <n5jrn@me.com> parents: 14 diff changeset	170 addRule("body { font-family: serif; font-size: %d; }".format(PROP_SIZE))
14 0cd912d29184 Better cope with Swing's idiosyncrasies. David Barts <n5jrn@me.com> parents: 13 diff changeset	171 addRule("code, kbd, pre, samp, tt { font-family: monospace; font-size: %d; }".format(MONO_SIZE))
13 fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that. David Barts <n5jrn@me.com> parents: 12 diff changeset	172 }
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that. David Barts <n5jrn@me.com> parents: 12 diff changeset	173 val scrubbed = Jsoup.parse(html).run {
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that. David Barts <n5jrn@me.com> parents: 12 diff changeset	174 select("style").forEach {
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that. David Barts <n5jrn@me.com> parents: 12 diff changeset	175 it.dataNodes().forEach { sty.addRule(it.wholeData) }
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that. David Barts <n5jrn@me.com> parents: 12 diff changeset	176 }
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	177 select(":root>head>meta").remove()
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	178 outputSettings()
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	179 .charset(CHARSET_NAME)
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	180 .syntax(Document.OutputSettings.Syntax.xml)
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	181 outerHtml()
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	182 }
13 fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that. David Barts <n5jrn@me.com> parents: 12 diff changeset	183 return Pair(scrubbed, sty)
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	184 }
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	185 }
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	186
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	187 fun main(args: Array<String>) {
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	188 LOGGER.log(Level.INFO, "beginning execution")
24 dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	189 if (OS.type == OS.MAC) {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	190 System.setProperty("apple.laf.useScreenMenuBar", "true")
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	191 }
21 c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	192 var frame: JFrame? = null
c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	193 var con: JPanel? = null
9 8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	194 inSynSwingThread {
21 c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	195 UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	196 frame = JFrame(MYNAME)
c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	197 con = JPanel().apply {
c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	198 layout = BoxLayout(this, BoxLayout.Y_AXIS)
c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	199 border = EmptyBorder(PANEL_BORDER, PANEL_BORDER, PANEL_BORDER, PANEL_BORDER)
c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	200 background = frame!!.background
c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	201 }
c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	202 frame!!.apply {
24 dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	203 jMenuBar = makeMenuBar()
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	204 contentPane.add(
21 c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	205 JScrollPane(con!!).apply {
8 7715ff59f053 Get layout of main display non-ugly. David Barts <n5jrn@me.com> parents: 7 diff changeset	206 verticalScrollBarPolicy = ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	207 horizontalScrollBarPolicy = ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER
8 7715ff59f053 Get layout of main display non-ugly. David Barts <n5jrn@me.com> parents: 7 diff changeset	208 preferredSize = Dimension(CPWIDTH, CPHEIGHT)
21 c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	209 background = frame!!.background
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	210 }, BorderLayout.CENTER)
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	211 pack()
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	212 setVisible(true)
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	213 }
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	214 }
21 c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	215 val queue = PasteboardQueue(con!!, 10)
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	216 val updater = UpdateIt(queue, 1000).apply { start() }
21 c10a447b9e1b Add some searching hooks. David Barts <n5jrn@me.com> parents: 20 diff changeset	217 inSwingThread { frame!!.addWindowListener(KillIt(updater)) }
7 fbb3a6999590 More border tweaks, etc. David Barts <n5jrn@me.com> parents: 6 diff changeset	218 }
fbb3a6999590 More border tweaks, etc. David Barts <n5jrn@me.com> parents: 6 diff changeset	219
24 dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	220 class MenuItemListener: ActionListener {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	221 override fun actionPerformed(e: ActionEvent) {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	222 println(e.actionCommand + " selected")
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	223 }
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	224 }
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	225
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	226 fun makeMenuBar() = JMenuBar().apply {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	227 val al: ActionListener = MenuItemListener()
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	228 if (OS.type != OS.MAC) {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	229 add(JMenu("File").apply {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	230 add(JMenuItem("Quit").apply {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	231 actionCommand = "File.Quit"
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	232 addActionListener(al)
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	233 makeShortcut(KeyEvent.VK_Q)
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	234 })
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	235 })
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	236 }
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	237 add(JMenu("Edit").apply {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	238 add(JMenuItem("Clone").apply {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	239 actionCommand = "Edit.Clone"
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	240 addActionListener(al)
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	241 makeShortcut(KeyEvent.VK_C)
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	242 })
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	243 add(JMenuItem("Coerce…").apply {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	244 actionCommand = "Edit.Coerce"
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	245 addActionListener(al)
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	246 makeShortcut(KeyEvent.VK_K)
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	247 })
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	248 add(JMenuItem("Delete").apply {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	249 actionCommand = "Edit.Delete"
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	250 addActionListener(al)
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	251 setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_DELETE, 0))
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	252 })
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	253 add(JMenuItem("Find…").apply {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	254 actionCommand = "Edit.Find"
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	255 addActionListener(al)
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	256 makeShortcut(KeyEvent.VK_F)
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	257 })
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	258 })
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	259 if (OS.type != OS.MAC) {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	260 add(JMenu("Help").apply {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	261 add(JMenuItem("About ClipMan…").apply {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	262 actionCommand = "Help.About"
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	263 addActionListener(al)
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	264 })
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	265 })
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	266 }
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	267 }
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	268
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	269 fun inSwingThread(block: () -> Unit) {
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	270 SwingUtilities.invokeLater(Runnable(block))
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	271 }
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	272
9 8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	273 fun inSynSwingThread(block: () -> Unit) {
8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	274 val ready = Semaphore(0)
8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	275 inSwingThread {
8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	276 block()
8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	277 ready.release()
8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	278 }
8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	279 ready.acquire()
8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	280 }
8fcff14defa2 Stomp out race conditions and set width adaptively. David Barts <n5jrn@me.com> parents: 8 diff changeset	281
0 be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	282 fun JTextComponent.autoSize(width: Int): Unit {
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	283 val SLOP = 10
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	284 val dim = Dimension(width, width)
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	285 preferredSize = dim
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	286 size = dim
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	287 val r = modelToView(document.length)
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	288 preferredSize = Dimension(width, r.y + r.height + SLOP)
be282c48010a Incomplete; checking it in as a backup. David Barts <n5jrn@me.com> parents: diff changeset	289 }
24 dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	290
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	291 val SC_KEY_MASK = Toolkit.getDefaultToolkit().menuShortcutKeyMask
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	292 fun JMenuItem.makeShortcut(key: Int): Unit {
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	293 setAccelerator(KeyStroke.getKeyStroke(key, SC_KEY_MASK))
dac8dfb4b549 Preliminary menu bar support. David Barts <n5jrn@me.com> parents: 21 diff changeset	294 }

Mercurial > cgi-bin > hgweb.cgi > ClipMan

annotate src/name/blackcap/clipman/Main.kt @ 26:ff35fabaea3a