anchor.diff:  
     ImportController _importController;
   
  -  StreamSubscription<String> _pageIdSubscription;
  +  StreamSubscription<String> _showPageSubscription;
   
     @override
     void initState() {
  
positive.code: 
      _setupTabController();
  
      _pageIdSubscription =
          frameworkController.onShowPageId.listen(_pushScreenByPageId);
    }
  
    @override
  
negative.code:     });
    }
  
    /// Switch to the given page ID. This request usually comes from the server API
    /// for example if the user clicks the Inspector button in the IDE and DevTools
    /// is already open on the Memory page, it should transition to the Inspector page.
    void _showPageById(String pageId) {
      final existingTabIndex = _tabController.index;
  
      final screen = widget.tabs
          .firstWhere((screen) => screen.screenId == pageId, orElse: () => null);
      final newIndex = screen == null ? -1 : widget.tabs.indexOf(screen);
  
      if (newIndex != -1 && newIndex != existingTabIndex) {
        _tabController.animateTo(newIndex);
        _pushScreenToLocalPageRoute(newIndex);
      }
    }
  
  