comparison src/name/blackcap/clipman/Main.kt @ 10:e7e067f5b649

Make border sizes more explicit.
author David Barts <n5jrn@me.com>
date Sun, 19 Jan 2020 18:24:20 -0800
parents 8fcff14defa2
children 5bbb436fbcf7
comparison
equal deleted inserted replaced
9:8fcff14defa2 10:e7e067f5b649
30 val CPWIDTH = 640 30 val CPWIDTH = 640
31 val CPHEIGHT = 480 31 val CPHEIGHT = 480
32 32
33 /* border widths */ 33 /* border widths */
34 val PANEL_BORDER = 9 34 val PANEL_BORDER = 9
35 val OUTER_BORDER = 9 /* must be 6 or more */ 35 val OUTER_BORDER_TOP = 3
36 val OUTER_BORDER = 9
36 val INNER_BORDER = 1 37 val INNER_BORDER = 1
37 val MARGIN_BORDER = 3 38 val MARGIN_BORDER = 3
38 39
39 /* kills the updating thread (and does a system exit) when needed */ 40 /* kills the updating thread (and does a system exit) when needed */
40 class KillIt(val thr: Thread) : WindowListener { 41 class KillIt(val thr: Thread) : WindowListener {
56 57
57 /* the updating thread */ 58 /* the updating thread */
58 class UpdateIt(val queue: PasteboardQueue, val interval: Int): Thread() { 59 class UpdateIt(val queue: PasteboardQueue, val interval: Int): Thread() {
59 @Volatile var enabled = true 60 @Volatile var enabled = true
60 private val outerBorder = 61 private val outerBorder =
61 MatteBorder(OUTER_BORDER-6, OUTER_BORDER, OUTER_BORDER, OUTER_BORDER, 62 MatteBorder(OUTER_BORDER_TOP, OUTER_BORDER, OUTER_BORDER, OUTER_BORDER,
62 queue.parent.background) 63 queue.parent.background)
63 private val stdBorder = 64 private val stdBorder =
64 CompoundBorder(LineBorder(Color.GRAY, INNER_BORDER), 65 CompoundBorder(LineBorder(Color.GRAY, INNER_BORDER),
65 EmptyBorder(MARGIN_BORDER, MARGIN_BORDER, MARGIN_BORDER, MARGIN_BORDER)) 66 EmptyBorder(MARGIN_BORDER, MARGIN_BORDER, MARGIN_BORDER, MARGIN_BORDER))
66 67