anchor.diff:          fixedSize: Size.fromHeight(defaultButtonHeight),
         ),
       ),
  +    textSelectionTheme: TextSelectionThemeData(
  +      selectionColor: textSelectionColor,
  +    ),
     );
   }
   
  
positive.code:     backgroundColor: background,
      indicatorColor: devtoolsBlue[400]!,
      selectedRowColor: devtoolsGrey[600]!,
    );
  }
  
  
negative.code:     backgroundColor: background,
      indicatorColor: Colors.yellowAccent[400]!,
      selectedRowColor: devtoolsBlue[600]!,
      textSelectionColor: Colors.white,
    );
  }
  
  