diff options
| author | Linnea Gräf <nea@nea.moe> | 2024-06-01 02:04:48 +0200 |
|---|---|---|
| committer | Linnea Gräf <nea@nea.moe> | 2024-06-01 02:04:48 +0200 |
| commit | fc7fde2c9b8516543c81791ecad355b0aecfffe6 (patch) | |
| tree | ed6c3be5585dc06ada0d0272b532b772df39ba4c | |
| parent | 954ca05374946fdf15cf0dd3047d205070c7dfb7 (diff) | |
| download | firmament-fc7fde2c9b8516543c81791ecad355b0aecfffe6.tar.gz firmament-fc7fde2c9b8516543c81791ecad355b0aecfffe6.tar.bz2 firmament-fc7fde2c9b8516543c81791ecad355b0aecfffe6.zip | |
Speed up scrolling in settings GUI
| -rw-r--r-- | src/main/kotlin/moe/nea/firmament/gui/config/AllConfigsGui.kt | 1 |
1 files changed, 1 insertions, 0 deletions
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) |