rev-3 fixed entire deletion of document with just deleting the indentation setting

Author: Deep Furiya

src/document/DocumentManager.ts

@@ -104,19 +104,14 @@ export class DocumentManager implements Configurable {
         return document.getEditorSettings(this.editorSettings);
     }
 
-    clearIndentationForDocument(uri: string): void {
-        const document = this.documentMap.get(uri);
-        if (document) {
-            document.clearIndentation();
-            this.documentMap.delete(uri);
-        }
+    removeDocument(uri: string): void {
+        this.documentMap.delete(uri);
     }
 
     clearAllStoredIndentation(): void {
         for (const document of this.documentMap.values()) {
             document.clearIndentation();
         }
-        this.documentMap.clear();
     }
 
     private onEditorSettingsChanged(newEditorSettings: EditorSettings): void {

src/handlers/DocumentHandler.ts

@@ -131,8 +131,8 @@ export function didCloseHandler(components: ServerComponents): (event: TextDocum
         // Cancel any pending delayed Guard validation for this document
         components.guardService.cancelDelayedValidation(documentUri);
 
-        // Clear stored indentation detection for this document
-        components.documentManager.clearIndentationForDocument(documentUri);
+        // Remove document from DocumentManager map
+        components.documentManager.removeDocument(documentUri);
 
         components.syntaxTreeManager.deleteSyntaxTree(documentUri);