explorer property

RouteHref explorer
getter/setter pair

Implementation

static RouteHref explorer = RouteHref(
    titleBuilder: (_) => 'Explore',
    path: '/explorer',
    builder: (routeEvent) {
      MapPosition? position;
      FilterState? state;
      var args = routeEvent.settings.arguments;
      if (args is MapPosition) {
        position = args;
      } else if (args is FilterState) {
        state = args;
      }
      return WorldExplorerScreen(
        filterState: state,
        initialPosition: position,
      );
    });