SourceFilterNameChanged({ required this.sourceName, required this.oldFilterName, required this.filterName, });