Fix for Windows

Duhemm · Duhemm · commit 9f441f990866 · 2018-10-18T15:39:40.000+02:00
diff --git a/vscode-dotty/src/extension.ts b/vscode-dotty/src/extension.ts
@@ -106,7 +106,7 @@ export function activate(context: ExtensionContext) {
  * Adding a first folder to the workspace completely reloads the extension.
  */
 function setWorkspaceAndReload(document: vscode.TextDocument) {
-  const documentPath = path.parse(document.uri.path).dir
+  const documentPath = path.parse(document.uri.fsPath).dir
   const workspaceRoot = findWorkspaceRoot(documentPath) || documentPath
   vscode.workspace.updateWorkspaceFolders(0, null, { uri: vscode.Uri.file(workspaceRoot) })
 }

Original file line number	Diff line number	Diff line change
`@@ -106,7 +106,7 @@ export function activate(context: ExtensionContext) {`
`106`	`106`	`* Adding a first folder to the workspace completely reloads the extension.`
`107`	`107`	`*/`
`108`	`108`	`function setWorkspaceAndReload(document: vscode.TextDocument) {`
`109`		`- const documentPath = path.parse(document.uri.path).dir`
	`109`	`+ const documentPath = path.parse(document.uri.fsPath).dir`
`110`	`110`	`const workspaceRoot = findWorkspaceRoot(documentPath) \|\| documentPath`
`111`	`111`	`vscode.workspace.updateWorkspaceFolders(0, null, { uri: vscode.Uri.file(workspaceRoot) })`
`112`	`112`	`}`