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