Update DidCloseTextDocumentNotification

Author: Kapil Borle

src/PowerShellEditorServices.Protocol/LanguageServer/TextDocument.cs

@@ -80,7 +80,8 @@ public class TextDocumentPosition : TextDocumentIdentifier
     /// <summary>
     /// A parameter literal used in requests to pass a text document and a position inside that document.
     /// </summary>
-    public class TextDocumentPositionParams {
+    public class TextDocumentPositionParams
+    {
         /// <summary>
         /// The text document.
         /// </summary>
@@ -115,8 +116,19 @@ public class DidOpenTextDocumentParams
     public class DidCloseTextDocumentNotification
     {
         public static readonly
-            EventType<TextDocumentIdentifier> Type =
-            EventType<TextDocumentIdentifier>.Create("textDocument/didClose");
+            EventType<DidCloseTextDocumentParams> Type =
+            EventType<DidCloseTextDocumentParams>.Create("textDocument/didClose");
+    }
+
+    /// <summary>
+    /// The parameters sent in a close text document notification.
+    /// </summary>
+    public class DidCloseTextDocumentParams
+    {
+        /// <summary>
+        /// The document that was closed.
+        /// </summary>
+        public TextDocumentIdentifier TextDocument { get; set; }
     }
 
     public class DidSaveTextDocumentNotification

src/PowerShellEditorServices.Protocol/Server/LanguageServer.cs

@@ -503,11 +503,11 @@ protected Task HandleDidOpenTextDocumentNotification(
         }
 
         protected async Task HandleDidCloseTextDocumentNotification(
-            TextDocumentIdentifier closeParams,
+            DidCloseTextDocumentParams closeParams,
             EventContext eventContext)
         {
             // Find and close the file in the current session
-            var fileToClose = editorSession.Workspace.GetFile(closeParams.Uri);
+            var fileToClose = editorSession.Workspace.GetFile(closeParams.TextDocument.Uri);
 
             if (fileToClose != null)
             {