PT #151978919 VSCode navigation to resource from hovers (POC)

2018-01-19 19:26:29 -05:00
parent bf096850a4
commit 286d435d53
14 changed files with 417 additions and 13 deletions
--- a/vscode-extensions/commons-vscode/src/launch-util.ts
+++ b/vscode-extensions/commons-vscode/src/launch-util.ts
@@ -108,6 +108,7 @@ export function activate(options: ActivatorOptions, context: VSCode.ExtensionCon
                            log('Redirecting server logs to ' + logfile);
                            const args = [
                                '-Dserver.port=' + port,
+                                '-Dsts.lsp.client=vscode',
                                '-Dorg.slf4j.simpleLogger.logFile=' + logfile
                            ];
                            if (options.classpath) {