Mercurial > cgi-bin > hgweb.cgi > ClipMan

changeset 10:e7e067f5b649

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make border sizes more explicit.
author David Barts <n5jrn@me.com>
date Sun, 19 Jan 2020 18:24:20 -0800
parents 8fcff14defa2
children 5bbb436fbcf7
files src/name/blackcap/clipman/Main.kt
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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),