comparison src/name/blackcap/clipman/PasteboardQueue.kt @ 2:6fb94eae32fa

Maybe this will auto-scroll reliably?
author David Barts <n5jrn@me.com>
date Sat, 18 Jan 2020 10:58:45 -0800
parents fb224c3aebdf
children d832c7b2bfd0
comparison
equal deleted inserted replaced
1:fb224c3aebdf 2:6fb94eae32fa
46 var sp = parent.parent 46 var sp = parent.parent
47 while (sp != null && !(sp is JScrollPane)) { 47 while (sp != null && !(sp is JScrollPane)) {
48 sp = sp.parent 48 sp = sp.parent
49 } 49 }
50 (sp as JScrollPane).run { 50 (sp as JScrollPane).run {
51 revalidate() 51 validate()
52 verticalScrollBar.run { value = maximum } 52 verticalScrollBar.run { value = maximum + 1 }
53 } 53 }
54 } 54 }
55 queue.addLast(item) 55 queue.addLast(item)
56 truncate(true) 56 truncate(true)
57 } 57 }