mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
[collab/space] IDEA-357032: Fix scroll oh header click
GitOrigin-RevId: 4718462ceee4ea37a149c84228d2ddf230eb6bd3
This commit is contained in:
committed by
intellij-monorepo-bot
parent
085b018b30
commit
5f56e4ab43
@@ -151,12 +151,7 @@ object ScrollPaneWithStickyHeaders {
|
||||
private val dummy = NonOpaquePanel()
|
||||
|
||||
init {
|
||||
wrapperTop.addMouseListener(object : MouseAdapter() {
|
||||
override fun mouseClicked(e: MouseEvent) {
|
||||
scrolledBody.scrollRectToVisible(wrapperBody.bounds)
|
||||
}
|
||||
})
|
||||
wrapperBottom.addMouseListener(object : MouseAdapter() {
|
||||
val listener = object : MouseAdapter() {
|
||||
override fun mouseClicked(e: MouseEvent) {
|
||||
if (beforeElems == null) {
|
||||
beforeElems = stickyElems.takeWhile { it != this@StickyElement }
|
||||
@@ -164,7 +159,9 @@ object ScrollPaneWithStickyHeaders {
|
||||
|
||||
scrollPane.viewport.viewPosition = Point(0, wrapperBody.y - beforeElems!!.sumOf { it.component.height })
|
||||
}
|
||||
})
|
||||
}
|
||||
wrapperTop.addMouseListener(listener)
|
||||
wrapperBottom.addMouseListener(listener)
|
||||
}
|
||||
|
||||
fun move() {
|
||||
|
||||
Reference in New Issue
Block a user