comparison src/name/blackcap/clipman/PasteboardView.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
comparison
equal deleted inserted replaced
28:f1fcc1281dad 29:c4f53bc01732
27 BorderFactory.createEmptyBorder(MARGIN_BORDER-1, MARGIN_BORDER-1, MARGIN_BORDER-1, MARGIN_BORDER-1)) 27 BorderFactory.createEmptyBorder(MARGIN_BORDER-1, MARGIN_BORDER-1, MARGIN_BORDER-1, MARGIN_BORDER-1))
28 init { 28 init {
29 border = normalBorder 29 border = normalBorder
30 setEditable(false) 30 setEditable(false)
31 alignmentX = JTextPane.LEFT_ALIGNMENT 31 alignmentX = JTextPane.LEFT_ALIGNMENT
32 resize()
33 } 32 }
34 33
35 /** 34 /**
36 * We allow the text to be considered "selected;" such text is used 35 * We allow the text to be considered "selected;" such text is used
37 * as the target for any subsequent editing operation. 36 * as the target for any subsequent editing operation.