anchor.diff:      backgroundColor: background,
       indicatorColor: devtoolsBlue[400]!,
       selectedRowColor: devtoolsGrey[600]!,
  +    textSelectionColor: Colors.black,
     );
   }
   
  
positive.code:         fixedSize: Size.fromHeight(defaultButtonHeight),
        ),
      ),
    );
  }
  
  
negative.code:   required Color backgroundColor,
    required Color indicatorColor,
    required Color selectedRowColor,
    required Color textSelectionColor,
  }) {
    return theme.copyWith(
      primaryColor: primaryColor,
  