ui: fix navigation update

This commit is contained in:
undefined committed 2024-07-16 14:21:40 +08:00
1 parent 63cf9b609a
commit 192efceb59
2 files changed
+2 -2

No files matched your search

@@ -275,7 +275,7 @@ const page = new NamedPage(['problem_detail', 'contest_detail_problem', 'homewor
if (isValidOption(val)) $(`.objective_${id}.radiobox [value="${val}"]`).prop('checked', true);
}
}
setUpdate((v) => v + 1);
setUpdate?.((v) => v + 1);
}
if (cnt) {