pub const SAVED_VIEWS_MODAL_TITLE: &str = " Saved Views ";
Title used by the saved-views manager modal.