Skip to content

Commit

Permalink
display line in detail
Browse files Browse the repository at this point in the history
  • Loading branch information
PizieDust committed Dec 6, 2024
1 parent 493d56b commit c30317d
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/extension_commands.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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, ()) ))
Expand Down

0 comments on commit c30317d

Please sign in to comment.