diff src/name/blackcap/clipman/Main.kt @ 29:c4f53bc01732

Fix searching (and main display).
author David Barts <n5jrn@me.com>
date Wed, 29 Jan 2020 14:36:16 -0800
parents f1fcc1281dad
children 0c6c18a733b7
line wrap: on
line diff
--- a/src/name/blackcap/clipman/Main.kt	Wed Jan 29 13:39:14 2020 -0800
+++ b/src/name/blackcap/clipman/Main.kt	Wed Jan 29 14:36:16 2020 -0800
@@ -76,6 +76,7 @@
                             contentType = "text/plain"
                             text = plain
                             font = Font(Font.MONOSPACED, Font.PLAIN, MONO_SIZE)
+                            resize()
                         })
                     } else {
                         val (dhtml, style) = preproc(html)
@@ -86,6 +87,7 @@
                         PasteboardItemView("Styled text", ClipText().apply {
                             editorKit = hek
                             text = dhtml
+                            resize()
                         })
                     }
                     piv.searchable.addMouseListener(this)