Mercurial > cgi-bin > hgweb.cgi > ClipMan

annotate src/name/blackcap/clipman/Main.kt @ 48:7a75c743f973

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix app name.
author David Barts <n5jrn@me.com>
date Sun, 12 Apr 2020 14:39:15 -0700
parents 19d9da731c43
children 88056f373a94
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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.Container
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
8 import java.awt.Dimension
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
9 import java.awt.Font
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
10 import java.awt.datatransfer.*
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
11 import java.awt.event.MouseEvent
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
12 import java.awt.event.MouseListener
0
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.*
13
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that.
David Barts <n5jrn@me.com>
parents: 12
diff changeset
19 import javax.swing.text.html.StyleSheet
0
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
20 import kotlin.concurrent.thread
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
21 import org.jsoup.Jsoup
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
22 import org.jsoup.nodes.*
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
23
7
fbb3a6999590 More border tweaks, etc.
David Barts <n5jrn@me.com>
parents: 6
diff changeset
24 /* name we call ourselves */
fbb3a6999590 More border tweaks, etc.
David Barts <n5jrn@me.com>
parents: 6
diff changeset
25 val MYNAME = "ClipMan"
0
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
26
8
7715ff59f053 Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents: 7
diff changeset
27 /* default sizes */
7715ff59f053 Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents: 7
diff changeset
28 val CPWIDTH = 640
7715ff59f053 Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents: 7
diff changeset
29 val CPHEIGHT = 480
9
8fcff14defa2 Stomp out race conditions and set width adaptively.
David Barts <n5jrn@me.com>
parents: 8
diff changeset
30
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
31 /* width of main panel border */
9
8fcff14defa2 Stomp out race conditions and set width adaptively.
David Barts <n5jrn@me.com>
parents: 8
diff changeset
32 val PANEL_BORDER = 9
8
7715ff59f053 Get layout of main display non-ugly.
David Barts <n5jrn@me.com>
parents: 7
diff changeset
33
13
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that.
David Barts <n5jrn@me.com>
parents: 12
diff changeset
34 /* 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
35 val MONO_SIZE = 14
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that.
David Barts <n5jrn@me.com>
parents: 12
diff changeset
36 val PROP_SIZE = 16
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that.
David Barts <n5jrn@me.com>
parents: 12
diff changeset
37
0
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
38 /* kills the updating thread (and does a system exit) when needed */
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
39 class KillIt() : WindowListener {
0
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
40 // events we don't care about
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
41 override fun windowActivated(e: WindowEvent) {}
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
42 override fun windowClosed(e: WindowEvent) {}
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
43 override fun windowDeactivated(e: WindowEvent) {}
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
44 override fun windowDeiconified(e: WindowEvent) {}
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
45 override fun windowIconified(e: WindowEvent) {}
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
46 override fun windowOpened(e: WindowEvent) {}
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
47
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
48 // and the one we do
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
49 override fun windowClosing(e: WindowEvent) {
6
0640efd6b54a Tweak borders (incomplete).
David Barts <n5jrn@me.com>
parents: 4
diff changeset
50 LOGGER.log(Level.INFO, "execution complete")
0
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
51 System.exit(0)
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
52 }
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
53 }
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
54
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
55 /* the updating thread */
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
56 class UpdateIt(val interval: Int): Thread(), MouseListener {
0
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
57 @Volatile var enabled = true
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 override fun run() {
17
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient.
David Barts <n5jrn@me.com>
parents: 15
diff changeset
60 var oldContents: PasteboardItem? = null
0
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()
17
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient.
David Barts <n5jrn@me.com>
parents: 15
diff changeset
64 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
65 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
66 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
67 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
68 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
69 }
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
70 val piv = if (html == null) {
31
0c6c18a733b7 Compiles, new menu still a mess.
David Barts <n5jrn@me.com>
parents: 29
diff changeset
71 PasteboardItemView("Plain text", ClipText(contents).apply {
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
72 contentType = "text/plain"
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
73 text = plain
43
339e2da5bf83 Simplified the settings. Compiles, not tested.
David Barts <n5jrn@me.com>
parents: 41
diff changeset
74 font = Font(Font.MONOSPACED, Font.PLAIN, MONO_SIZE)
29
c4f53bc01732 Fix searching (and main display).
David Barts <n5jrn@me.com>
parents: 28
diff changeset
75 resize()
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
76 })
17
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient.
David Barts <n5jrn@me.com>
parents: 15
diff changeset
77 } else {
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
78 val (dhtml, style) = preproc(html)
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
79 val hek = MyEditorKit().apply {
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
80 style.addStyleSheet(defaultStyleSheet)
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
81 styleSheet = style
0
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
82 }
31
0c6c18a733b7 Compiles, new menu still a mess.
David Barts <n5jrn@me.com>
parents: 29
diff changeset
83 PasteboardItemView("Styled text", ClipText(contents).apply {
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
84 editorKit = hek
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
85 text = dhtml
29
c4f53bc01732 Fix searching (and main display).
David Barts <n5jrn@me.com>
parents: 28
diff changeset
86 resize()
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
87 })
0
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
88 }
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
89 piv.searchable.addMouseListener(this)
47
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
90 Application.queue.add(QueueItem(contents, piv))
17
9dd58db4d15a Only convert RTF to HTML if needed. Much more efficient.
David Barts <n5jrn@me.com>
parents: 15
diff changeset
91 oldContents = contents
0
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
92 }
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
93 }
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
94 if (Thread.interrupted()) {
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
95 return
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 try {
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
98 Thread.sleep(interval - System.currentTimeMillis() % interval)
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
99 } catch (e: InterruptedException) {
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
100 return
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
101 }
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
102 }
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
13
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that.
David Barts <n5jrn@me.com>
parents: 12
diff changeset
105 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
106 val sty = StyleSheet().apply {
43
339e2da5bf83 Simplified the settings. Compiles, not tested.
David Barts <n5jrn@me.com>
parents: 41
diff changeset
107 addRule("body { font-family: serif; font-size: ${PROP_SIZE}; }")
339e2da5bf83 Simplified the settings. Compiles, not tested.
David Barts <n5jrn@me.com>
parents: 41
diff changeset
108 addRule("code, kbd, pre, samp, tt { font-family: monospace; font-size: ${MONO_SIZE}; }")
13
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that.
David Barts <n5jrn@me.com>
parents: 12
diff changeset
109 }
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that.
David Barts <n5jrn@me.com>
parents: 12
diff changeset
110 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
111 select("style").forEach {
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that.
David Barts <n5jrn@me.com>
parents: 12
diff changeset
112 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
113 }
0
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
114 select(":root>head>meta").remove()
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
115 outputSettings()
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
116 .charset(CHARSET_NAME)
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
117 .syntax(Document.OutputSettings.Syntax.xml)
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
118 outerHtml()
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
119 }
13
fe0fcfc8b2aa Braindead POS wasn't honoring <style> tags; fixed that.
David Barts <n5jrn@me.com>
parents: 12
diff changeset
120 return Pair(scrubbed, sty)
0
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
121 }
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
122
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
123 /* MouseListener methods */
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
124
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
125 override fun mouseClicked(e: MouseEvent) {
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
126 val source = e.getSource() as? ClipText
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
127 if (source == null) {
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
128 return
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
129 }
47
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
130 Application.queue.deselectAll()
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
131 source.selected = true
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
132 source.validate()
47
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
133 Application.anyRequired.enable()
31
0c6c18a733b7 Compiles, new menu still a mess.
David Barts <n5jrn@me.com>
parents: 29
diff changeset
134 source.basedOn.let {
0c6c18a733b7 Compiles, new menu still a mess.
David Barts <n5jrn@me.com>
parents: 29
diff changeset
135 if (it is PasteboardItem.HTML || it is PasteboardItem.RTF) {
47
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
136 Application.styledRequired.enable()
35
5f8475b37e23 Got it correctly enabling and disabling menu items.
David Barts <n5jrn@me.com>
parents: 31
diff changeset
137 } else {
47
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
138 Application.styledRequired.disable()
31
0c6c18a733b7 Compiles, new menu still a mess.
David Barts <n5jrn@me.com>
parents: 29
diff changeset
139 }
0c6c18a733b7 Compiles, new menu still a mess.
David Barts <n5jrn@me.com>
parents: 29
diff changeset
140 }
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
141 }
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
142
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
143 override fun mousePressed(e: MouseEvent) {
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
144 maybeShowPopup(e)
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
145 }
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
146
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
147 override fun mouseReleased(e: MouseEvent) {
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
148 maybeShowPopup(e)
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
149 }
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
150
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
151 private fun maybeShowPopup(e: MouseEvent) {
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
152 if (e.isPopupTrigger()) {
47
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
153 Application.popupMenu.show(e.component, e.x, e.y)
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
154 }
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
155 }
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
156
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
157 override fun mouseEntered(e: MouseEvent) { }
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
158 override fun mouseExited(e: MouseEvent) { }
0
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
47
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
161 object Application {
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
162 /* name we call ourselves */
48
7a75c743f973 Fix app name.
David Barts <n5jrn@me.com>
parents: 47
diff changeset
163 val MYNAME = "ClipMan"
47
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
164
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
165 /* global UI objects, must be created on the Swing thread */
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
166 var queue: PasteboardQueue by setOnce()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
167 var frame: JFrame by setOnce()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
168 var coerceDialog: CoerceDialog by setOnce()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
169 var menuItemListener: MenuItemListener by setOnce()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
170 var popupMenu: MyPopupMenu by setOnce()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
171 var searchDialog: SearchDialog by setOnce()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
172 var settingsDialog: SettingsDialog by setOnce()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
173
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
174 /* used by the menus, but not themselves Swing objects */
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
175 val anyRequired = SelectionRequired()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
176 val styledRequired = SelectionRequired()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
177
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
178 fun initialize() {
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
179 /* make ourselves look more native */
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
180 UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
181
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
182 /* initialize reusable GUI objects */
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
183 frame = JFrame(MYNAME) /* must init this gui object first */
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
184 coerceDialog = CoerceDialog()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
185 menuItemListener = MenuItemListener() /* must init before menus */
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
186 popupMenu = MyPopupMenu()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
187 searchDialog = SearchDialog()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
188 settingsDialog = SettingsDialog()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
189
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
190 /* set up the main frame */
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
191 val con = JPanel().apply {
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
192 layout = BoxLayout(this, BoxLayout.Y_AXIS)
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
193 border = BorderFactory.createEmptyBorder(PANEL_BORDER, PANEL_BORDER, PANEL_BORDER, PANEL_BORDER)
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
194 background = frame.background
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
195 }
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
196 frame.apply {
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
197 jMenuBar = MyMenuBar()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
198 contentPane.add(
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
199 JScrollPane(con).apply {
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
200 verticalScrollBarPolicy = ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
201 horizontalScrollBarPolicy = ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
202 preferredSize = Dimension(CPWIDTH, CPHEIGHT)
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
203 background = frame.background
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
204 }, BorderLayout.CENTER)
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
205 pack()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
206 setVisible(true)
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
207 addWindowListener(KillIt())
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
208 }
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
209 setMacMenus()
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
210
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
211 /* launch the updating thread */
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
212 queue = PasteboardQueue(con, settingsDialog.qLength)
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
213 UpdateIt(1000).apply { start() }
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
214 }
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
215 }
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
216
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
217
27
8aa2dfac27eb Big reorg; compiled but untested.
David Barts <n5jrn@me.com>
parents: 24
diff changeset
218 /* entry point */
0
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
219 fun main(args: Array<String>) {
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
220 LOGGER.log(Level.INFO, "beginning execution")
24
dac8dfb4b549 Preliminary menu bar support.
David Barts <n5jrn@me.com>
parents: 21
diff changeset
221 if (OS.type == OS.MAC) {
dac8dfb4b549 Preliminary menu bar support.
David Barts <n5jrn@me.com>
parents: 21
diff changeset
222 System.setProperty("apple.laf.useScreenMenuBar", "true")
dac8dfb4b549 Preliminary menu bar support.
David Barts <n5jrn@me.com>
parents: 21
diff changeset
223 }
47
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
224 inSwingThread {
19d9da731c43 Recoded; cleaned up root namespace, removed race conditions.
David Barts <n5jrn@me.com>
parents: 43
diff changeset
225 Application.initialize()
0
be282c48010a Incomplete; checking it in as a backup.
David Barts <n5jrn@me.com>
parents:
diff changeset
226 }
24
dac8dfb4b549 Preliminary menu bar support.
David Barts <n5jrn@me.com>
parents: 21
diff changeset
227 }