Mercurial > cgi-bin > hgweb.cgi > ClipMan
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)