# HG changeset patch
# User David Barts <n5jrn@me.com>
# Date 1579487060 28800
# Node ID e7e067f5b649a808978b2ee45693fe14050e5f9c
# Parent  8fcff14defa28e23b18aa292078c6b60ebfec46d
Make border sizes more explicit.

diff -r 8fcff14defa2 -r e7e067f5b649 src/name/blackcap/clipman/Main.kt
--- a/src/name/blackcap/clipman/Main.kt	Sun Jan 19 15:43:01 2020 -0800
+++ b/src/name/blackcap/clipman/Main.kt	Sun Jan 19 18:24:20 2020 -0800
@@ -32,7 +32,8 @@
 
 /* border widths */
 val PANEL_BORDER = 9
-val OUTER_BORDER = 9  /* must be 6 or more */
+val OUTER_BORDER_TOP = 3
+val OUTER_BORDER = 9
 val INNER_BORDER = 1
 val MARGIN_BORDER = 3
 
@@ -58,7 +59,7 @@
 class UpdateIt(val queue: PasteboardQueue, val interval: Int): Thread() {
     @Volatile var enabled = true
     private val outerBorder =
-        MatteBorder(OUTER_BORDER-6, OUTER_BORDER, OUTER_BORDER, OUTER_BORDER,
+        MatteBorder(OUTER_BORDER_TOP, OUTER_BORDER, OUTER_BORDER, OUTER_BORDER,
             queue.parent.background)
     private val stdBorder =
         CompoundBorder(LineBorder(Color.GRAY, INNER_BORDER),