(version: number | null, contents: string)
| 196 | } |
| 197 | |
| 198 | setClientVersion(version: number | null, contents: string): void { |
| 199 | this._clientVersion = version; |
| 200 | |
| 201 | if (version === null) { |
| 202 | this._fileContents = undefined; |
| 203 | } else { |
| 204 | if (this._fileContents !== undefined) { |
| 205 | if (this._fileContents !== contents) { |
| 206 | this.markDirty(); |
| 207 | } |
| 208 | } |
| 209 | |
| 210 | this._fileContents = contents; |
| 211 | } |
| 212 | } |
| 213 | |
| 214 | prepareForClose() { |
| 215 | // Nothing to do currently. |
no test coverage detected