Adjusting document counter

darrenldl · Sep 4, 2024 · f9742b7 · f9742b7
1 parent 2f5fd9a
commit f9742b7
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 12 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -8,7 +8,11 @@
     - Previously there was still a lockstep somewhere that would prevent UI
       from progressing if previous search was still being cancelled
 
-    - The current implementation allows newest requests to override older requests entirely, and not wait for cancellations at all
+    - The current implementation allows newest requests to override older
+      requests entirely, and not wait for cancellations at all
+
+- Adjusted document counter in multi-file view to be visible even when no files
+  are listed
 
 ## 8.0.1
 

diff --git a/bin/multi_file_view.ml b/bin/multi_file_view.ml
@@ -318,24 +318,30 @@ module Bottom_pane = struct
       List.assoc input_mode Ui_base.Status_bar.input_mode_images
     in
     let content =
-      if document_count = 0 then
-        Nottui.Ui.atom input_mode_image
-      else (
-        let file_shown_count =
-          Notty.I.strf ~attr:Ui_base.Status_bar.attr
-            "%5d/%d documents listed"
-            document_count
-            (Document_store.size
-               (Lwd.peek Document_store_manager.multi_file_view_document_store))
-        in
+      let file_shown_count =
+        Notty.I.strf ~attr:Ui_base.Status_bar.attr
+          "%5d/%d documents listed"
+          document_count
+          (Document_store.size
+             (Lwd.peek Document_store_manager.multi_file_view_document_store))
+      in
+      if document_count = 0 then (
+        Notty.I.hcat
+          [
+            input_mode_image;
+            Ui_base.Status_bar.element_spacer;
+            file_shown_count;
+          ]
+        |> Nottui.Ui.atom
+      ) else (
         let index_of_selected =
           Notty.I.strf ~attr:Ui_base.Status_bar.attr
             "Index of document selected: %d"
             index_of_document_selected
         in
         Notty.I.hcat
           [
-            List.assoc input_mode Ui_base.Status_bar.input_mode_images;
+            input_mode_image;
             Ui_base.Status_bar.element_spacer;
             file_shown_count;
             Ui_base.Status_bar.element_spacer;