Mercurial > cgi-bin > hgweb.cgi > ClipMan
annotate src/name/blackcap/clipman/Main.kt @ 8:7715ff59f053
Get layout of main display non-ugly.
author | David Barts <n5jrn@me.com> |
---|---|
date | Sun, 19 Jan 2020 14:00:17 -0800 |
parents | fbb3a6999590 |
children | 8fcff14defa2 |
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.* |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
13 import java.awt.event.WindowEvent |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
14 import java.awt.event.WindowListener |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
15 import java.util.Date |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
16 import java.util.logging.Level |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
17 import java.util.logging.Logger |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
18 import javax.swing.* |
8
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
19 import javax.swing.border.* |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
20 import javax.swing.text.JTextComponent |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
21 import kotlin.concurrent.thread |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
22 import org.jsoup.Jsoup |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
23 import org.jsoup.nodes.* |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
24 |
7 | 25 /* name we call ourselves */ |
26 val MYNAME = "ClipMan" | |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
27 |
8
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
28 /* default sizes */ |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
29 val CPWIDTH = 640 |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
30 val CPHEIGHT = 480 |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
31 val TPWIDTH = CPWIDTH - 60 |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
32 |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
33 /* 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
|
34 class KillIt(val thr: Thread) : WindowListener { |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
35 // events we don't care about |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
36 override fun windowActivated(e: WindowEvent) {} |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
37 override fun windowClosed(e: WindowEvent) {} |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
38 override fun windowDeactivated(e: WindowEvent) {} |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
39 override fun windowDeiconified(e: WindowEvent) {} |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
40 override fun windowIconified(e: WindowEvent) {} |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
41 override fun windowOpened(e: WindowEvent) {} |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
42 |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
43 // and the one we do |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
44 override fun windowClosing(e: WindowEvent) { |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
45 thr.run { interrupt(); join() } |
6 | 46 LOGGER.log(Level.INFO, "execution complete") |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
47 System.exit(0) |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
48 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
49 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
50 |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
51 /* the updating thread */ |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
52 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
|
53 @Volatile var enabled = true |
8
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
54 private val outerBorder = MatteBorder(3, 9, 9, 9, queue.parent.background) |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
55 private val stdBorder = |
8
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
56 CompoundBorder(LineBorder(Color.GRAY, 1), EmptyBorder(3, 3, 3, 3)) |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
57 |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
58 override fun run() { |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
59 var oldContents = "" |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
60 var newContents = "" |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
61 while (true) { |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
62 if (enabled) { |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
63 var contents = PasteboardItem.read() |
3
70caa73e32f7
Stop it from spinning on non-textual clipboard data.
David Barts <n5jrn@me.com>
parents:
0
diff
changeset
|
64 if (contents != null) { |
70caa73e32f7
Stop it from spinning on non-textual clipboard data.
David Barts <n5jrn@me.com>
parents:
0
diff
changeset
|
65 newContents = when (contents) { |
70caa73e32f7
Stop it from spinning on non-textual clipboard data.
David Barts <n5jrn@me.com>
parents:
0
diff
changeset
|
66 is PasteboardItem.Plain -> contents.plain |
70caa73e32f7
Stop it from spinning on non-textual clipboard data.
David Barts <n5jrn@me.com>
parents:
0
diff
changeset
|
67 is PasteboardItem.HTML -> contents.plain |
70caa73e32f7
Stop it from spinning on non-textual clipboard data.
David Barts <n5jrn@me.com>
parents:
0
diff
changeset
|
68 } |
70caa73e32f7
Stop it from spinning on non-textual clipboard data.
David Barts <n5jrn@me.com>
parents:
0
diff
changeset
|
69 if (oldContents != newContents) { |
8
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
70 var widget = JPanel().apply { |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
71 layout = BoxLayout(this, BoxLayout.Y_AXIS) |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
72 background = queue.parent.background |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
73 border = outerBorder |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
74 } |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
75 when (contents) { |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
76 is PasteboardItem.Plain -> widget.run { |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
77 add(stdLabel("Plain text")) |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
78 add(JTextPane().apply { |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
79 contentType = "text/plain" |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
80 text = contents.plain |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
81 font = Font(Font.MONOSPACED, Font.PLAIN, 14) |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
82 border = stdBorder |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
83 autoSize(TPWIDTH) |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
84 setEditable(false) |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
85 alignmentX = JTextPane.LEFT_ALIGNMENT |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
86 }) |
3
70caa73e32f7
Stop it from spinning on non-textual clipboard data.
David Barts <n5jrn@me.com>
parents:
0
diff
changeset
|
87 } |
8
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
88 is PasteboardItem.HTML -> widget.run { |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
89 add(stdLabel("Styled text")) |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
90 add(JTextPane().apply { |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
91 contentType = "text/html" |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
92 toolTipText = "Styled text" |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
93 text = scrub(contents.html) |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
94 border = stdBorder |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
95 autoSize(TPWIDTH) |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
96 setEditable(false) |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
97 alignmentX = JTextPane.LEFT_ALIGNMENT |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
98 }) |
3
70caa73e32f7
Stop it from spinning on non-textual clipboard data.
David Barts <n5jrn@me.com>
parents:
0
diff
changeset
|
99 } |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
100 } |
3
70caa73e32f7
Stop it from spinning on non-textual clipboard data.
David Barts <n5jrn@me.com>
parents:
0
diff
changeset
|
101 queue.add(QueueItem(widget, contents)) |
70caa73e32f7
Stop it from spinning on non-textual clipboard data.
David Barts <n5jrn@me.com>
parents:
0
diff
changeset
|
102 oldContents = newContents |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
103 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
104 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
105 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
106 if (Thread.interrupted()) { |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
107 return |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
108 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
109 try { |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
110 Thread.sleep(interval - System.currentTimeMillis() % interval) |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
111 } catch (e: InterruptedException) { |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
112 return |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
113 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
114 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
115 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
116 |
8
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
117 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
|
118 horizontalAlignment = JLabel.LEFT |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
119 alignmentX = JLabel.LEFT_ALIGNMENT |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
120 } |
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
121 |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
122 private fun scrub(html: String): String { |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
123 return Jsoup.parse(html).run { |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
124 select(":root>head>meta").remove() |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
125 outputSettings() |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
126 .charset(CHARSET_NAME) |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
127 .syntax(Document.OutputSettings.Syntax.xml) |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
128 outerHtml() |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
129 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
130 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
131 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
132 |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
133 fun main(args: Array<String>) { |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
134 LOGGER.log(Level.INFO, "beginning execution") |
7 | 135 setLookFeel() |
8
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
136 val frame = JFrame(MYNAME) |
4 | 137 val con = JPanel().apply { |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
138 layout = BoxLayout(this, BoxLayout.Y_AXIS) |
6 | 139 border = EmptyBorder(9, 9, 9, 9) |
140 background = frame.background | |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
141 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
142 inSwingThread { |
6 | 143 frame.apply { |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
144 contentPane.add( |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
145 JScrollPane(con).apply { |
8
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
146 verticalScrollBarPolicy = ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
147 horizontalScrollBarPolicy = ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER |
8
7715ff59f053
Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents:
7
diff
changeset
|
148 preferredSize = Dimension(CPWIDTH, CPHEIGHT) |
6 | 149 background = frame.background |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
150 }, BorderLayout.CENTER) |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
151 pack() |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
152 setVisible(true) |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
153 } |
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 val queue = PasteboardQueue(con, 10) |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
156 val updater = UpdateIt(queue, 1000).apply { start() } |
6 | 157 inSwingThread { frame.addWindowListener(KillIt(updater)) } |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
158 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
159 |
7 | 160 fun setLookFeel() { |
161 inSwingThread { | |
162 UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName()); | |
163 } | |
164 } | |
165 | |
0
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
166 fun inSwingThread(block: () -> Unit) { |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
167 SwingUtilities.invokeLater(Runnable(block)) |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
168 } |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
169 |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
170 fun JTextComponent.autoSize(width: Int): Unit { |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
171 val SLOP = 10 |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
172 val dim = Dimension(width, width) |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
173 preferredSize = dim |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
174 size = dim |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
175 val r = modelToView(document.length) |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
176 preferredSize = Dimension(width, r.y + r.height + SLOP) |
be282c48010a
Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff
changeset
|
177 } |