function toggleProblemButton() {
		const fileWithProblems = manager.files.find((file) => {
			if (file.type !== "editor") return false;
			const annotations = file?.session?.getAnnotations();
			return !!annotations.length;
		});

		if (fileWithProblems) {
			problemButton.show();
		} else {
			problemButton.hide();
		}
	}
Toggles the visibility of the problem button based on the presence of annotations in the files.