From b5176ad3e36f04c484ee00e0b0ccd04879d1ec30 Mon Sep 17 00:00:00 2001 From: Chris Wendt Date: Thu, 7 Mar 2019 19:02:29 -0800 Subject: [PATCH] add "Imprecise results" label to references --- package.json | 20 +++++++++++++++++++- 1 file changed, 19 insertions(+), 1 deletion(-) diff --git a/package.json b/package.json index 6859228ca..9451dabc6 100644 --- a/package.json +++ b/package.json @@ -38,6 +38,18 @@ "iconURL": "https://raw.githubusercontent.com/remojansen/logo.ts/5b4f0df433a5301aee0180582a8782bfbc9a0739/ts.svg?sanitize=true", "pressed": "config.typescript.enable" } + }, + { + "id": "impreciseResults", + "title": "Imprecise results", + "command": "open", + "commandArguments": [ + "https://sourcegraph.com/extensions/sourcegraph/typescript" + ], + "actionItem": { + "label": "Imprecise results", + "description": "These locations are computed using heuristics. Use the TypeScript language server for precise results." + } } ], "menus": { @@ -46,7 +58,13 @@ "action": "typescript.toggle" } ], - "commandPalette": [] + "commandPalette": [], + "panel/toolbar": [ + { + "action": "impreciseResults", + "when": "isImprecise" + } + ] }, "configuration": { "title": "LangTypescriptConfiguration",