Function toggleProblemButton

src/lib/editorManager.js:2793–2806

()

	}

	function toggleProblemButton() {
		const { showSideButtons } = appSettings.value;
		if (!showSideButtons) {
			problemButton.hide();
			return;
		}

		const hasProblems = manager.files.some((file) => fileHasProblems(file));
		if (hasProblems) {
			problemButton.show();
		} else {
			problemButton.hide();
		}
	}

	function getDiagnosticStateForFile(file) {
		if (!file || file.type !== "editor") return null;