Issue 1185: Recent VODs section doesnt show pinned (public) courses

final eslint error is fixed
TUM-Dev · Oct 26, 2023 · 427c35c · 427c35c
1 parent 086deea
commit 427c35c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/web/ts/components/main.ts b/web/ts/components/main.ts
@@ -37,7 +37,7 @@ export function mainContext(year: number, term: string) {
                         if (this.pinnedCourses.length > 0) {
                             //
                             const pinnedOrUserCourses: Course[] = this.userCourses.concat(
-                                this.pinnedCourses.filter((c : Course) => this.userCourses.indexOf(c) < 0),
+                                this.pinnedCourses.filter((c: Course) => this.userCourses.indexOf(c) < 0),
                             );
                             this.recently.set(this.getRecently(pinnedOrUserCourses));
                             this.loadProgresses(pinnedOrUserCourses.map((c) => c.LastRecording.ID));