From bbf8a72b037c2412aaeebc0f9746fab1f82a265c Mon Sep 17 00:00:00 2001 From: Olaf Wintermann Date: Tue, 9 Sep 2025 17:15:35 +0200 Subject: [PATCH] add Settings.store() --- .../main/kotlin/de/unixwork/rssreader/Settings.kt | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/rss-application/src/main/kotlin/de/unixwork/rssreader/Settings.kt b/rss-application/src/main/kotlin/de/unixwork/rssreader/Settings.kt index 63f580b..9656599 100644 --- a/rss-application/src/main/kotlin/de/unixwork/rssreader/Settings.kt +++ b/rss-application/src/main/kotlin/de/unixwork/rssreader/Settings.kt @@ -1,7 +1,10 @@ package de.unixwork.rssreader import de.unixwork.ui.Toolkit +import java.io.BufferedWriter import java.io.File +import java.io.OutputStreamWriter +import java.io.Writer import java.util.Properties class Settings { @@ -46,7 +49,16 @@ class Settings { } } else { println("create new file: $filePath") - file.createNewFile() + store(file) } } + + fun store(file: File = File(Toolkit.getConfigFilePath("rssreader.properties"))) { + file.writeText(""" + DateFormat = $dateFormat + AutoRefreshStartDelay = $autoRefreshStartDelay + DefaultRefreshInterval = $defaultRefreshInterval + MinRefreshWaitTime = $minRefreshWaitTime + """.trimIndent()) + } } \ No newline at end of file -- 2.47.3