copyWith method
creates a new TerminalSearchOptions instance based on this one changing the given parameters
Implementation
TerminalSearchOptions copyWith(
{bool? caseSensitive, bool? matchWholeWord, bool? useRegex}) {
return TerminalSearchOptions(
caseSensitive: caseSensitive ?? this.caseSensitive,
matchWholeWord: matchWholeWord ?? this.matchWholeWord,
useRegex: useRegex ?? this.useRegex,
);
}