From 427c35cefcab6f08a2a1dc3c64673e0b08acb414 Mon Sep 17 00:00:00 2001
From: barisgul15 <barisgul15@gmail.com>
Date: Thu, 26 Oct 2023 15:22:00 +0200
Subject: [PATCH] Issue 1185: Recent VODs section doesnt show pinned (public)
 courses

final eslint error is fixed
---
 web/ts/components/main.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/ts/components/main.ts b/web/ts/components/main.ts
index 9e2197226..9e86302e6 100644
--- 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));