Function map_gui::tools::app_header

pub fn app_header(ctx: &EventCtx<'_>, app: &dyn AppLike, title: &str) -> Widget

A standard way to group a home button back to the title screen, the title of the current app, and a button to change maps. Callers must handle the change map and home click events.