Add registration options for didClose notification

Kapil Borle · daviwil · commit a113d3242659 · 2017-05-01T18:16:17.000-07:00
diff --git a/src/PowerShellEditorServices.Protocol/LanguageServer/TextDocument.cs b/src/PowerShellEditorServices.Protocol/LanguageServer/TextDocument.cs
@@ -149,8 +149,8 @@ public class DocumentFilter
     public class DidCloseTextDocumentNotification
     {
         public static readonly
-            NotificationType<DidCloseTextDocumentParams, object> Type =
-            NotificationType<DidCloseTextDocumentParams, object>.Create("textDocument/didClose");
+            NotificationType<DidCloseTextDocumentParams, TextDocumentRegistrationOptions> Type =
+            NotificationType<DidCloseTextDocumentParams, TextDocumentRegistrationOptions>.Create("textDocument/didClose");
     }
 
     /// <summary>

Original file line number	Diff line number	Diff line change
`@@ -149,8 +149,8 @@ public class DocumentFilter`
`149`	`149`	`public class DidCloseTextDocumentNotification`
`150`	`150`	`{`
`151`	`151`	`public static readonly`
`152`		`- NotificationType<DidCloseTextDocumentParams, object> Type =`
`153`		`- NotificationType<DidCloseTextDocumentParams, object>.Create("textDocument/didClose");`
	`152`	`+ NotificationType<DidCloseTextDocumentParams, TextDocumentRegistrationOptions> Type =`
	`153`	`+ NotificationType<DidCloseTextDocumentParams, TextDocumentRegistrationOptions>.Create("textDocument/didClose");`
`154`	`154`	`}`
`155`	`155`
`156`	`156`	`/// <summary>`