From fc7fde2c9b8516543c81791ecad355b0aecfffe6 Mon Sep 17 00:00:00 2001
From: Linnea Gräf <nea@nea.moe>
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(+)

(limited to 'src/main')

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