From fc7fde2c9b8516543c81791ecad355b0aecfffe6 Mon Sep 17 00:00:00 2001 From: Linnea Gräf Date: Sat, 1 Jun 2024 02:04:48 +0200 Subject: Speed up scrolling in settings GUI --- src/main/kotlin/moe/nea/firmament/gui/config/AllConfigsGui.kt | 1 + 1 file changed, 1 insertion(+) diff --git a/src/main/kotlin/moe/nea/firmament/gui/config/AllConfigsGui.kt b/src/main/kotlin/moe/nea/firmament/gui/config/AllConfigsGui.kt index 75554c0..1b2b2e4 100644 --- a/src/main/kotlin/moe/nea/firmament/gui/config/AllConfigsGui.kt +++ b/src/main/kotlin/moe/nea/firmament/gui/config/AllConfigsGui.kt @@ -59,6 +59,7 @@ object AllConfigsGui { it.insets = Insets.ROOT_PANEL box.layout() it.add(WFixedPanel((WScrollPanel((box)).also { + it.verticalScrollBar.scrollingSpeed = 12 it.setSize(400, 300) }))) it.setSize(400, 300) -- cgit