Speed up scrolling in settings GUI
This commit is contained in:
@@ -59,6 +59,7 @@ object AllConfigsGui {
|
|||||||
it.insets = Insets.ROOT_PANEL
|
it.insets = Insets.ROOT_PANEL
|
||||||
box.layout()
|
box.layout()
|
||||||
it.add(WFixedPanel((WScrollPanel((box)).also {
|
it.add(WFixedPanel((WScrollPanel((box)).also {
|
||||||
|
it.verticalScrollBar.scrollingSpeed = 12
|
||||||
it.setSize(400, 300)
|
it.setSize(400, 300)
|
||||||
})))
|
})))
|
||||||
it.setSize(400, 300)
|
it.setSize(400, 300)
|
||||||
|
|||||||
Reference in New Issue
Block a user