Commit1e7bb92

authored and

committed

* Disconnect() project only after document closed* naming

1 parent30cd23e commit1e7bb92Copy full SHA for 1e7bb92

File tree

-4

lines changed

-4

lines changed

Lines changed: 8 additions & 4 deletions

Original file line number	Diff line number	Diff line change
`@@ -341,11 +341,15 @@ and`
`341`	`341`	`projectContext.AddSourceFile(fileName)`
`342`	`342`
`343`	`343`	`letproject= projectContext:?> AbstractProject`
`344`		`-letdocument= project.GetCurrentDocumentFromPath(fileName)`
	`344`	`+letdocumentId= project.GetCurrentDocumentFromPath(fileName).Id`
`345`	`345`
`346`		`- document.Closing.Add(fun _->`
`347`		`- projectInfoManager.RemoveSingleFileProject(projectId)`
`348`		`- project.Disconnect())`
	`346`	`+let reconDocumentClosed= EventHandler<DocumentEventArgs>(fun _ args->`
	`347`	`+if args.Document.Id= documentIdthen`
	`348`	`+ projectInfoManager.RemoveSingleFileProject(projectId)`
	`349`	`+ project.Disconnect()`
	`350`	`+ workspace.DocumentClosed.RemoveHandler(onDocumentClosed)`
	`351`	`+)`
	`352`	`+ workspace.DocumentClosed.AddHandler(onDocumentClosed)`
`349`	`353`
`350`	`354`	`overridethis.ContentTypeName= FSharpCommonConstants.FSharpContentTypeName`
`351`	`355`	`overridethis.LanguageName= FSharpCommonConstants.FSharpLanguageName`

Comments

(0)