Update main.ts

eslint prettifier errors are fixed.
TUM-Dev · Oct 26, 2023 · 11420b3 · 11420b3
1 parent fa48733
commit 11420b3
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/web/ts/components/main.ts b/web/ts/components/main.ts
@@ -36,8 +36,9 @@ export function mainContext(year: number, term: string) {
                     if (this.userCourses.length > 0) {
                         if (this.pinnedCourses.length > 0) {
                             //
-                            let pinnedOrUserCourses : Course[] = this.userCourses.concat(
-                                this.pinnedCourses.filter((c : Course) => this.userCourses.indexOf(c) < 0));
+                            const pinnedOrUserCourses : Course[] = this.userCourses.concat(
+                                this.pinnedCourses.filter((c : Course) => this.userCourses.indexOf(c) < 0)
+                                );
                             this.recently.set(this.getRecently(pinnedOrUserCourses));
                             this.loadProgresses(pinnedOrUserCourses.map((c) => c.LastRecording.ID));
                         } else {
@@ -90,4 +91,4 @@ export function mainContext(year: number, term: string) {
             this.recently.forEach((r, i) => (r.LastRecording.Progress = progresses[i]));
         },
     };
-}
+}