Function updateSelectionSummary

deployments/desktop/static/app.js:850–854

()

}

function updateSelectionSummary() {
  $("readingQueueStat").textContent = state.selected.size;
  $("selectionSummary").textContent =
    `${state.selected.size} 篇待精读，${state.skipped.size} 篇标记为不感兴趣`;
}

function isChecked(id) {
  const target = $(id);