(newContent: string)
| 105 | } |
| 106 | |
| 107 | setCurrentDocumentContent(newContent: string) { |
| 108 | const filePath = this.currentDocument.get()?.filePath; |
| 109 | |
| 110 | if (!filePath) { |
| 111 | return; |
| 112 | } |
| 113 | |
| 114 | const originalContent = this.#filesStore.getFile(filePath)?.content; |
| 115 | const unsavedChanges = originalContent !== undefined && originalContent !== newContent; |
| 116 | |
| 117 | this.#editorStore.updateFile(filePath, newContent); |
| 118 | |
| 119 | const currentDocument = this.currentDocument.get(); |
| 120 | |
| 121 | if (currentDocument) { |
| 122 | const previousUnsavedFiles = this.unsavedFiles.get(); |
| 123 | |
| 124 | if (unsavedChanges && previousUnsavedFiles.has(currentDocument.filePath)) { |
| 125 | return; |
| 126 | } |
| 127 | |
| 128 | const newUnsavedFiles = new Set(previousUnsavedFiles); |
| 129 | |
| 130 | if (unsavedChanges) { |
| 131 | newUnsavedFiles.add(currentDocument.filePath); |
| 132 | } else { |
| 133 | newUnsavedFiles.delete(currentDocument.filePath); |
| 134 | } |
| 135 | |
| 136 | this.unsavedFiles.set(newUnsavedFiles); |
| 137 | } |
| 138 | } |
| 139 | |
| 140 | setCurrentDocumentScrollPosition(position: ScrollPosition) { |
| 141 | const editorDocument = this.currentDocument.get(); |
no test coverage detected