Searched refs:maybe_radius (Results 1 – 2 of 2) sorted by relevance
201 [](const boost::optional<double> &maybe_radius) { in HandleRequest() argument202 if (maybe_radius) in HandleRequest()204 return *maybe_radius * RADIUS_MULTIPLIER; in HandleRequest()
397 maybe_radius: Option<Distance>, in draw_unzoomed_agents()403 if now == time && maybe_radius == r && color_agents == orig_agents { in draw_unzoomed_agents()411 if let Some(r) = maybe_radius { in draw_unzoomed_agents()438 self.unzoomed = Some((now, maybe_radius, color_agents.clone(), draw)); in draw_unzoomed_agents()