anchor.diff:    /// change between successive calls.
     bool _checkLoaded() => serviceManager.hasConnection;
   
  -  OverlayEntry currentDisconnectedOverlay;
  +  OverlayEntry? currentDisconnectedOverlay;
   
     @override
     void initState() {
  
positive.code: 
    /// Shows a "disconnected" overlay if the [service.serviceManager] is not currently connected.
    void _handleNoConnection() {
      WidgetsBinding.instance.scheduleFrameCallback((_) {
        if (!_checkLoaded() &&
            ModalRoute.of(context).isCurrent &&
            currentDisconnectedOverlay == null) {
          ga.select(
            analytics_constants.devToolsMain,
            analytics_constants.appDisconnected,
          );
          Overlay.of(context).insert(_createDisconnectedOverlay());
  
          addAutoDisposeListener(serviceManager.connectedState, () {
            final connectedState = serviceManager.connectedState.value;
  
negative.code: /// here.
  class Initializer extends StatefulWidget {
    const Initializer({
      Key? key,
      required this.url,
      required this.builder,
      this.allowConnectionScreenOnDisconnect = true,
    }) : super(key: key);
  
    /// The builder for the widget's children.
    ///
  