From 7dffd32fd082cc6c74a15496c9a84f9535a237c1 Mon Sep 17 00:00:00 2001 From: Chet Husk Date: Sat, 10 Aug 2024 13:08:10 -0500 Subject: [PATCH] use project names instead of full paths to make the picker easier to read --- src/Components/Debugger.fs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/Components/Debugger.fs b/src/Components/Debugger.fs index cb944034..9a653ffc 100644 --- a/src/Components/Debugger.fs +++ b/src/Components/Debugger.fs @@ -53,6 +53,7 @@ module LaunchJsonVersion2 = } module Debugger = + open Node.Api let outputChannel = window.createOutputChannel "Ionide: Debugger" let private logger = @@ -149,7 +150,10 @@ module Debugger = | projects -> let picks = projects - |> List.map (fun p -> createObj [ "data" ==> p; "label" ==> p.Project ]) + |> List.map (fun p -> path.basename p.Project, p) + |> List.sortBy fst + |> List.map (fun (projectName, project) -> + createObj [ "data" ==> project; "label" ==> projectName ]) |> ResizeArray let! proj = window.showQuickPick (unbox, _>> picks)