mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

fix open of created or renamed file

Browse source
This commit is contained in:
Bernardo 2019-01-05 12:12:39 +01:00
parent 481713a0e1
commit 4dfc5a6341
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
editors/code/src/commands/apply_source_change.ts
View file

@ -26,7 +26,8 @@ export async function handle(change: SourceChange) {
const toReveal = change.cursorPosition;
await vscode.workspace.applyEdit(wsEdit);
if (toOpen) {
const doc = await vscode.workspace.openTextDocument(toOpen);
const toOpenUri = vscode.Uri.parse(toOpen);
const doc = await vscode.workspace.openTextDocument(toOpenUri);
await vscode.window.showTextDocument(doc);
} else if (toReveal) {
const uri = Server.client.protocol2CodeConverter.asUri(