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 {
}
} 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