# HG changeset patch
# User David Barts <n5jrn@me.com>
# Date 1580950045 28800
# Node ID c803a2c89ea0ccf38086f2b3c84f42ea667be864
# Parent  2a5808156f995b36ed64e3b627ecd84988162dff
Make the JScrollPane scroll properly to highlighted text.

diff -r 2a5808156f99 -r c803a2c89ea0 src/name/blackcap/clipman/PasteboardQueue.kt
--- a/src/name/blackcap/clipman/PasteboardQueue.kt	Fri Jan 31 00:06:59 2020 -0800
+++ b/src/name/blackcap/clipman/PasteboardQueue.kt	Wed Feb 05 16:47:25 2020 -0800
@@ -110,7 +110,10 @@
             pos = search(needle, text, pos)
             if (pos >= 0) {
                 si.highlighter.addHighlight(pos, pos+needle.length, painter)
-                si.scrollRectToVisible(si.getBounds(null))
+                val r = si.modelToView(pos).apply {
+                    add(si.modelToView(pos + needle.length - 1))
+                }
+                si.scrollRectToVisible(r)
                 break
             }
             norigin = Offset(norigin.inQueue + incr, start)