[O] Replace more ts-ignores with {required: true}

src/components/loading/loading.vue

@@ -34,11 +34,9 @@
     })
     export default class Loading extends Vue
     {
-        // @ts-ignore
-        @Prop() text: string;
+        @Prop({required: true}) text: string;
 
-        // @ts-ignore
-        @Prop() error: boolean;
+        @Prop({required: true}) error: boolean;
 
         getText()
         {

src/pages/overall/overall-course/course-head/course-head.vue

@@ -34,14 +34,11 @@
     })
     export default class CourseHead extends Vue
     {
-        // @ts-ignore
-        @Prop() unread: number;
+        @Prop({required: true}) unread: number;
 
-        // @ts-ignore
-        @Prop() course: Course;
+        @Prop({required: true}) course: Course;
 
-        // @ts-ignore
-        @Prop() clickable: boolean;
+        @Prop({required: true}) clickable: boolean;
 
         /**
          * Redirect to the course page