Function fileHasProblems

src/lib/editorManager.js:2760–2791

* Toggles the visibility of the problem button based on the presence of annotations in the files.

(file)

	 * Toggles the visibility of the problem button based on the presence of annotations in the files.
	 */
	function fileHasProblems(file) {
		const state = getDiagnosticStateForFile(file);
		if (!state) return false;

		const session = file.session;
		if (session && typeof session.getAnnotations === "function") {
			try {
				const annotations = session.getAnnotations() || [];
				if (annotations.length) return true;
			} catch (error) {
				warnRecoverable(
					"Failed to read editor annotations while checking problems.",
					error,
					"read-annotations",
				);
			}
		}

		if (typeof state.field !== "function") return false;
		try {
			const diagnostics = getLspDiagnostics(state);
			return diagnostics.length > 0;
		} catch (error) {
			warnRecoverable(
				"Failed to read LSP diagnostics while checking problems.",
				error,
				"read-lsp-diagnostics",
			);
		}

		return false;
	}

	function toggleProblemButton() {
		const { showSideButtons } = appSettings.value;