Fix bug in WFixedPanel and use WScrollPanel + WBox for config

2023-05-26 23:23:03 +02:00
parent 484a4b1a61
commit 59ea00dabc
8 changed files with 61 additions and 13 deletions
--- a/src/main/kotlin/moe/nea/firmament/gui/WFixedPanel.kt
+++ b/src/main/kotlin/moe/nea/firmament/gui/WFixedPanel.kt
@@ -8,6 +8,7 @@ class WFixedPanel() : WPanel() {
        set(value) {
            children.clear()
            setSize(0, 0)
+            value.parent = this
            children.add(value)
        }
        get() = children.single()