anchor.diff:    }
   
     /// Revert list and selection back to before the matcher (first click in the
  -  /// textfield.
  +  /// textfield).
     void revert() {
       reset();
  +
       _scriptsView.showScripts(
         matchingState[''],
         _debuggerState.rootLib.uri,
         _debuggerState.commonScriptPrefix,
  -      selectScripRef: _originalScriptRef,
  +      selectScriptRef: _originalScriptRef,
       );
   
       if (_originalScriptRef != null) {
  
positive.code:     String rootLib,
      String commonPrefix, {
      bool selectRootScript = false,
      ScriptRef selectScripRef,
    }) {
      this.rootLib = rootLib;
  
  
negative.code:         childToScrollTo = itemIndex;
          final int scrollPosition =
              childToScrollTo > 0 ? childToScrollTo * itemHeight : 0;
          scrollAndHighlight(childToScrollTo, scrollPosition, top: true);
          break;
        case ListDirection.home:
          childToScrollTo = 0;
          scrollAndHighlight(childToScrollTo, childToScrollTo);
          break;
        case ListDirection.end:
          childToScrollTo = _items.items.length - 1;
          final int scrollPosition =
              childToScrollTo > 0 ? (childToScrollTo - itemsVis) * itemHeight : 0;
          scrollAndHighlight(childToScrollTo, scrollPosition);
          break;
      }
  
  