From c30317d8459ef8d7a4483306c480265397bdb7b0 Mon Sep 17 00:00:00 2001
From: PizieDust <playersrebirth@gmail.com>
Date: Fri, 6 Dec 2024 13:55:18 +0100
Subject: [PATCH] display line in detail

---
 src/extension_commands.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/extension_commands.ml b/src/extension_commands.ml
index 67878fde1..827ec38dd 100644
--- a/src/extension_commands.ml
+++ b/src/extension_commands.ml
@@ -786,10 +786,10 @@ module Navigate_holes = struct
       List.map results ~f:(fun res ->
           let line = Position.line @@ Range.end_ res in
           ( QuickPickItem.create
-              ~label:
+              ~label:(Printf.sprintf "Line %d" line)
+              ~detail:
                 (Printf.sprintf
-                   "Line %d: %s"
-                   line
+                   "%s"
                    (TextLine.text @@ TextDocument.lineAt ~line text_document))
               ()
           , (res, ()) ))