Mercurial > cgi-bin > hgweb.cgi > ClipMan

diff src/name/blackcap/clipman/PasteboardQueue.kt @ 31:0c6c18a733b7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Compiles, new menu still a mess.
author David Barts <n5jrn@me.com>
date Thu, 30 Jan 2020 16:01:51 -0800
parents 0e88c6bed11e
children c803a2c89ea0
line wrap: on
line diff
--- a/src/name/blackcap/clipman/PasteboardQueue.kt	Wed Jan 29 21:56:12 2020 -0800
+++ b/src/name/blackcap/clipman/PasteboardQueue.kt	Thu Jan 30 16:01:51 2020 -0800
@@ -110,6 +110,7 @@
             pos = search(needle, text, pos)
             if (pos >= 0) {
                 si.highlighter.addHighlight(pos, pos+needle.length, painter)
+                si.scrollRectToVisible(si.getBounds(null))
                 break
             }
             norigin = Offset(norigin.inQueue + incr, start)
@@ -150,7 +151,8 @@
                 var extra = queue.removeFirst().view
                 inSwingThread {
                     if (extra.searchable.selected) {
-                        SelectionRequired.disable()
+                        anyRequired.disable()
+                        styledRequired.disable()
                     }
                     parent.remove(extra.contents)
                 }