From ddf176c8292404f55ef49a48b39ded2740bec51b Mon Sep 17 00:00:00 2001 From: Felix Becker Date: Fri, 21 Oct 2016 18:40:06 +0200 Subject: [PATCH] Add URI converter (#23) --- src/extension.ts | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/extension.ts b/src/extension.ts index 33c510b..5801453 100644 --- a/src/extension.ts +++ b/src/extension.ts @@ -5,6 +5,7 @@ import * as vscode from 'vscode'; import { LanguageClient, LanguageClientOptions, StreamInfo } from 'vscode-languageclient'; import * as semver from 'semver'; import * as net from 'net'; +import * as url from 'url'; export async function activate(context: vscode.ExtensionContext): Promise { @@ -86,6 +87,12 @@ export async function activate(context: vscode.ExtensionContext): Promise const clientOptions: LanguageClientOptions = { // Register the server for php documents documentSelector: ['php'], + uriConverters: { + // VS Code by default %-encodes even the colon after the drive letter + // NodeJS handles it much better + code2Protocol: uri => url.format(url.parse(uri.toString(true))), + protocol2Code: str => vscode.Uri.parse(str) + }, synchronize: { // Synchronize the setting section 'php' to the server configurationSection: 'php'