fix: set priority high enough

Loïc Mangeonjean · Loïc Mangeonjean · commit 723b675b5fc9 · 2024-04-15T16:33:48.000+02:00
diff --git a/src/extensions.ts b/src/extensions.ts
@@ -247,7 +247,7 @@ export class FileSystemFeature implements StaticFeature {
 
     if (this.infrastructure.writeFile != null) {
       // register another filesystem to capture file write with a higher priority
-      disposables.add(registerFileSystemOverlay(1, new InfrastructureFileSystemUpdaterProvider(this.infrastructure, this.languageClientManager)))
+      disposables.add(registerFileSystemOverlay(10, new InfrastructureFileSystemUpdaterProvider(this.infrastructure, this.languageClientManager)))
     }
 
     return disposables

Original file line number	Diff line number	Diff line change
`@@ -247,7 +247,7 @@ export class FileSystemFeature implements StaticFeature {`
`247`	`247`
`248`	`248`	`if (this.infrastructure.writeFile != null) {`
`249`	`249`	`// register another filesystem to capture file write with a higher priority`
`250`		`- disposables.add(registerFileSystemOverlay(1, new InfrastructureFileSystemUpdaterProvider(this.infrastructure, this.languageClientManager)))`
	`250`	`+ disposables.add(registerFileSystemOverlay(10, new InfrastructureFileSystemUpdaterProvider(this.infrastructure, this.languageClientManager)))`
`251`	`251`	`}`
`252`	`252`
`253`	`253`	`return disposables`