Added key binding to drop unselected

darrenldl · Jan 6, 2025 · d8e99a4 · d8e99a4
1 parent 8c30c18
commit d8e99a4
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/bin/ui.ml b/bin/ui.ml
@@ -594,7 +594,7 @@ module Bottom_pane = struct
             { label = "m"; msg = "marked" };
           ];
           [
-            { label = ""; msg = "" };
+            { label = "Shift+D"; msg = "unselected" };
             { label = "Shift+L"; msg = "unlisted" };
             { label = "Shift+M"; msg = "unmarked" };
           ];
@@ -965,6 +965,12 @@ let keyboard_handler
               ) search_result_group;
             true
           )
+        | (`ASCII 'D', []) -> (
+            Option.iter (fun (doc, _search_results) ->
+                drop ~document_count (`All_except (Document.path doc))
+              ) search_result_group;
+            true
+          )
         | (`ASCII 'l', []) -> (
             drop ~document_count `Listed;
             true