Как обновить формат красивого времени внутри TornadoFX ListView?
Я реализовал небольшое приложение TornadoFX, использующее PrettyTime для отображения времени в удобном формате. Но у меня проблема - PrettyTime обновляет свое время только при изменении ListView. Поэтому, пока пользователи не изменят порядок таблицы или в ней не появятся новые данные, «красивые» времена остаются устаревшими.
В JavaFX я не должен выполнять какое-либо обновление таблицы, если данные не меняются, так как мне исправить свой код, чтобы эта ошибка не возникла?
Ниже мой код:
class AgentTableView : Fragment() {
private val fmt = DateTimeFormatter.ofPattern("dd.MM.yyyy HH:mm:ss")
private val p = PrettyTime(Locale("ru"))
override val root = tableview<Agent> {
column("Посл. GPS", Agent::gpsDateTimeProperty) {
cellFormat { text = p.format(it); tooltip(fmt.format(it)) }
}
}
}