# /app/components/ErrorBanner.py import gradio as gr from html import escape def build_error_banner() -> gr.HTML: return gr.HTML(visible=False) def set_error(component: gr.HTML, message: str | None): """ Helper to update an error banner in event handlers. Usage: error.update(**set_error(error, "Oops")) """ if not message: return {"value": "", "visible": False} value = f"""