Add URI converter (#23)

pull/21/head
Felix Becker 2016-10-21 18:40:06 +02:00 committed by GitHub
parent cf4fa3ead0
commit ddf176c829
1 changed files with 7 additions and 0 deletions

View File

@ -5,6 +5,7 @@ import * as vscode from 'vscode';
import { LanguageClient, LanguageClientOptions, StreamInfo } from 'vscode-languageclient'; import { LanguageClient, LanguageClientOptions, StreamInfo } from 'vscode-languageclient';
import * as semver from 'semver'; import * as semver from 'semver';
import * as net from 'net'; import * as net from 'net';
import * as url from 'url';
export async function activate(context: vscode.ExtensionContext): Promise<void> { export async function activate(context: vscode.ExtensionContext): Promise<void> {
@ -86,6 +87,12 @@ export async function activate(context: vscode.ExtensionContext): Promise<void>
const clientOptions: LanguageClientOptions = { const clientOptions: LanguageClientOptions = {
// Register the server for php documents // Register the server for php documents
documentSelector: ['php'], 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: {
// Synchronize the setting section 'php' to the server // Synchronize the setting section 'php' to the server
configurationSection: 'php' configurationSection: 'php'