Add selection in history page and refresh home page after history changed (#199)

This commit is contained in:
buste
2025-02-18 11:30:30 +08:00
committed by GitHub
parent 7994ffb6a4
commit c28f4d40c2
2 changed files with 193 additions and 71 deletions

View File

@@ -197,10 +197,12 @@ class _HistoryState extends State<_History> {
late int count;
void onHistoryChange() {
setState(() {
history = HistoryManager().getRecent();
count = HistoryManager().count();
});
if (mounted) {
setState(() {
history = HistoryManager().getRecent();
count = HistoryManager().count();
});
}
}
@override