// TODO: date format config
val formatter = DateTimeFormatter.ofPattern("yyyy-MM-dd HH:mm:ss")
+ var newFeedPrevGroup = 0
+
init {
window = sidebarWindow("RSS Reader") {
sidebar {
)
parent.feeds.update()
+
+ newFeedPrevGroup = groups?.selectedIndex ?: 0
+ println("new prev group: $newFeedPrevGroup")
} catch (e: Exception) {
e.printStackTrace()
}
cert = ui.string()
groups.addAll(sourceList.groups)
+ println("prev group: $newFeedPrevGroup")
readstatus.add("Mark items individually")
readstatus.add("Mark entire feed when opened")
}
}
}
+ groups?.setSelectedIndex(newFeedPrevGroup)
w.show()
}