Filtererweiterung CourseResultController
In CourseResultController Filter für query einbauen, ersetzt:
filteredExerciseResults$ = combineLatest(
this.exerciseResults$, this.query$.pipe(debounceTime(500))
).pipe(
map(([exerciseResults, query]) => {
return query
? exerciseResults.filter(
r => r.exercise.name.toLowerCase().indexOf(query.toLowerCase()) !== -1 ||
r.taskInstances.some(ti => ti.task.name.toLocaleLowerCase().indexOf(query.toLowerCase()) !== -1)
)
: exerciseResults;
})
);