rs_rich.ext.dashboard¶ Generated from the type stubs by scripts/gen_python_api.py; do not edit. rs_rich.ext.dashboard: many diagnostics at once (rich_ext::dashboard). No Rich counterpart: this is the port's own rs-rich-ext crate. DiagnosticsDashboard ¶ min_level property writable ¶ min_level: Any top_codes property writable ¶ top_codes: Any counts ¶ counts() -> Any extend ¶ extend(diagnostics: Any) -> Any push ¶ push(diagnostic: Any) -> Any