add gui checkbox show_reps_done_today

gui.py

@@ -220,6 +220,7 @@ def make_features_group(self) -> QGroupBox:
             "pass_fail",
             "flexible_grading",
             "show_last_review",
+            "show_reps_done_today",
             "press_answer_key_to_flip_card",
         )
         gbox = QGroupBox("Features")
@@ -285,6 +286,9 @@ def add_tooltips(self) -> None:
             "Answer keys ('h', 'j', 'k', 'l' by default) will be used\n"
             "to reveal the back side, similarly to the Space bar."
         )
+        self._toggleables["show_reps_done_today"].setToolTip(
+            "Print the number of reviews done today on the bottom bar."
+        )
 
 
 class SettingsMenuDialog(SettingsMenuUI):