Function checkFile

src/lib/checkFiles.js:53–138

* Checks a file for changes * @param {EditorFile} file File to check * @returns {Promise }

(file)

	 * @returns {Promise<void>}
	 */
	async function checkFile(file) {
		if (file === undefined || !file.loaded || file.loading) return;

		if (file.uri) {
			const fs = fsOperation(file.uri);
			const exists = await fs.exists();

			if (!exists && !file.readOnly) {
				file.isUnsaved = true;
				file.uri = null;
				editorManager.onupdate("file-changed");
				editorManager.emit("update", "file-changed");
				await new Promise((resolve) => {
					alert(
						strings.info,
						strings["file has been deleted"].replace("{file}", file.filename),
						resolve,
					);
				});
				return;
			}

			let mtime = null;
			if (file.hasVersionMetadata && file.savedMtime != null) {
				const stat = await fs.stat().catch(() => null);
				mtime = helpers.getStatMtime(stat);
				if (mtime != null) {
					if (mtime === file.savedMtime) return;
					const alreadyWarnedConflict =
						file.hasDiskConflict && file.diskMtime === mtime;
					file.markDiskChanged({ mtime });
					if (file.hasDiskConflict) {
						editorManager.onupdate("file-changed");
						editorManager.emit("update", "file-changed");
						console.warn(
							`File changed on disk while unsaved: ${file.filename}`,
						);
						if (!alreadyWarnedConflict) {
							await new Promise((resolve) => {
								alert(
									strings.warning.toUpperCase(),
									`${file.filename} changed on disk while you have unsaved edits. Saving now may overwrite the external changes.`,
									resolve,
								);
							});
						}
						return;
					}
				}
			}

			if (file.isUnsaved) return;

			const text = await fs.readFile(file.encoding);
			const diskDoc = Text.of(String(text ?? "").split("\n"));
			const currentDoc = file.session?.doc;

			if (!currentDoc?.eq?.(diskDoc)) {