Change displayBuildTarget to listBuildTargets

src/extension.ts

@@ -567,6 +567,43 @@ function launchMetals(
         );
       });
 
+      function displayBuildTarget(target: string): void {
+        const workspaceRoots = workspace.workspaceFolders;
+        if (workspaceRoots && workspaceRoots.length > 0) {
+          const uriStr = `metalsDecode:file:///${workspaceRoots[0].name}/${target}.metals-buildtarget`;
+          const uri = Uri.parse(uriStr);
+          workspace
+            .openTextDocument(uri)
+            .then((textDocument) => window.showTextDocument(textDocument));
+        }
+      }
+
+      registerCommand(`metals.target-info-display`, async (...args: any[]) => {
+        if (args.length > 0) {
+          // get build target name from treeview uri of the form "projects:file:/root/metals/.mtags/?id=mtags3!/_root_/,"
+          const treeViewUri = args[0] as string;
+          const buildTargetRegEx = new RegExp("projects:.*?id=(.*)!.*", "g");
+          const match = buildTargetRegEx.exec(treeViewUri);
+          if (match) {
+            displayBuildTarget(match[1]);
+          }
+        } else {
+          // pick from list of targets
+          client
+            .sendRequest(ExecuteCommandRequest.type, {
+              command: ServerCommands.ListBuildTargets,
+            })
+            .then(async (...args: any[]) => {
+              const targets = args?.[0] as string[];
+              window.showQuickPick(targets).then((target) => {
+                if (target) {
+                  displayBuildTarget(target);
+                }
+              });
+            });
+        }
+      });
+
       let channelOpen = false;
 
       registerCommand(ClientCommands.FocusDiagnostics, () =>
@@ -577,16 +614,6 @@ function launchMetals(
         commands.executeCommand(ClientCommands.RunDoctor)
       );
 
-      registerCommand(
-        `metals.${ServerCommands.DisplayTargetInfo}`,
-        (...args) => {
-          client.sendRequest(ExecuteCommandRequest.type, {
-            command: ServerCommands.DisplayTargetInfo,
-            arguments: args,
-          });
-        }
-      );
-
       registerCommand(ClientCommands.ToggleLogs, () => {
         if (channelOpen) {
           client.outputChannel.hide();