anchor.diff:      });
     }
   
  -  /// Push the given page ID into the navigation history.
  -  void _pushScreenByPageId(String pageId) {
  -    final previousTabIndex = _tabController.previousIndex;
  +  /// 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 != previousTabIndex) {
  -      ModalRoute.of(context).addLocalHistoryEntry(LocalHistoryEntry(
  -        onRemove: () {
  -          if (widget.tabs.length >= previousTabIndex) {
  -            _tabController.animateTo(previousTabIndex);
  -          }
  -        },
  -      ));
  +    if (newIndex != -1 && newIndex != existingTabIndex) {
  +      _tabController.animateTo(newIndex);
  +      _pushScreenToLocalPageRoute(newIndex);
       }
     }
   
  
positive.code: 
    ImportController _importController;
  
    StreamSubscription<String> _pageIdSubscription;
  
    @override
    void initState() {
  
negative.code:     _tabController?.dispose();
      _currentScreen?.dispose();
      appBarAnimation?.dispose();
      _showPageSubscription?.cancel();
  
      super.dispose();
    }
  