copyWith method

GitDiffThemeData copyWith({
  1. Color? addedBackground,
  2. Color? addedForeground,
  3. Color? removedBackground,
  4. Color? removedForeground,
  5. Color? contextForeground,
  6. Color? headerForeground,
  7. Color? selectedCommentLineBackground,
  8. Color? selectedCommentGutterBackground,
  9. Color? commentRangeLineBackground,
  10. Color? commentRangeGutterBackground,
  11. Color? commentThreadLineBackground,
  12. Color? commentThreadGutterBackground,
})

Copy with selective overrides.

Implementation

GitDiffThemeData copyWith({
  Color? addedBackground,
  Color? addedForeground,
  Color? removedBackground,
  Color? removedForeground,
  Color? contextForeground,
  Color? headerForeground,
  Color? selectedCommentLineBackground,
  Color? selectedCommentGutterBackground,
  Color? commentRangeLineBackground,
  Color? commentRangeGutterBackground,
  Color? commentThreadLineBackground,
  Color? commentThreadGutterBackground,
}) {
  return GitDiffThemeData(
    addedBackground: addedBackground ?? this.addedBackground,
    addedForeground: addedForeground ?? this.addedForeground,
    removedBackground: removedBackground ?? this.removedBackground,
    removedForeground: removedForeground ?? this.removedForeground,
    contextForeground: contextForeground ?? this.contextForeground,
    headerForeground: headerForeground ?? this.headerForeground,
    selectedCommentLineBackground:
        selectedCommentLineBackground ?? this.selectedCommentLineBackground,
    selectedCommentGutterBackground:
        selectedCommentGutterBackground ??
        this.selectedCommentGutterBackground,
    commentRangeLineBackground:
        commentRangeLineBackground ?? this.commentRangeLineBackground,
    commentRangeGutterBackground:
        commentRangeGutterBackground ?? this.commentRangeGutterBackground,
    commentThreadLineBackground:
        commentThreadLineBackground ?? this.commentThreadLineBackground,
    commentThreadGutterBackground:
        commentThreadGutterBackground ?? this.commentThreadGutterBackground,
  );
}