From 53963fac406bcf7946c21ce16b307ab314265578 Mon Sep 17 00:00:00 2001
From: Olaf Wintermann <olaf.wintermann@gmail.com>
Date: Mon, 15 Sep 2025 16:16:04 +0200
Subject: [PATCH] save splitpane position

---
 .../src/main/kotlin/de/unixwork/rssreader/MainWindow.kt       | 2 +-
 ui-kotlin/src/main/kotlin/de/unixwork/ui/kotlin/Toplevel.kt   | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/rss-application/src/main/kotlin/de/unixwork/rssreader/MainWindow.kt b/rss-application/src/main/kotlin/de/unixwork/rssreader/MainWindow.kt
index 3166980..870ec5f 100644
--- a/rss-application/src/main/kotlin/de/unixwork/rssreader/MainWindow.kt
+++ b/rss-application/src/main/kotlin/de/unixwork/rssreader/MainWindow.kt
@@ -75,7 +75,7 @@ class MainWindow() {
                 }
             }
 
-            hsplitpane(fill = true, initialPosition = 600) {
+            hsplitpane(fill = true, initialPosition = 600, positionProperty = "hsplitpane.pos") {
                 vbox(fill = true) {
                     val model = TableModel()
                     model.addColumn("Title", ColumnType.STRING, -1)
diff --git a/ui-kotlin/src/main/kotlin/de/unixwork/ui/kotlin/Toplevel.kt b/ui-kotlin/src/main/kotlin/de/unixwork/ui/kotlin/Toplevel.kt
index 0096e63..9ab89ba 100644
--- a/ui-kotlin/src/main/kotlin/de/unixwork/ui/kotlin/Toplevel.kt
+++ b/ui-kotlin/src/main/kotlin/de/unixwork/ui/kotlin/Toplevel.kt
@@ -573,6 +573,7 @@ class Toplevel(obj: UiObject) {
         margin: Int = -1,
         spacing: Int = -1,
         initialPosition: Int = 0,
+        positionProperty: String? = null,
         value: UiInteger? = null,
         varname: String? = null,
         maxPanes: Int = 0,
@@ -593,6 +594,7 @@ class Toplevel(obj: UiObject) {
             margin = margin,
             spacing = spacing,
             initialPosition = initialPosition,
+            positionProperty = positionProperty,
             value = value,
             varname = varname,
             maxPanes = maxPanes,
@@ -614,6 +616,7 @@ class Toplevel(obj: UiObject) {
         margin: Int = -1,
         spacing: Int = -1,
         initialPosition: Int = 0,
+        positionProperty: String? = null,
         value: UiInteger? = null,
         varname: String? = null,
         maxPanes: Int = 0,
@@ -634,6 +637,7 @@ class Toplevel(obj: UiObject) {
             margin = margin,
             spacing = spacing,
             initialPosition = initialPosition,
+            positionProperty = positionProperty,
             value = value,
             varname = varname,
             maxPanes = maxPanes,
-- 
2.47.3