Fix Leaderboard pagination

- Enable AI matches

Author: kumaran-14

src/app/components/Leaderboard/index.tsx

@@ -36,15 +36,14 @@ export class Leaderboard extends React.Component<
       isSearching: false,
       nextFetchIndex: 1,
       offset: 0,
-      pageSize: Math.floor((window.innerHeight * 0.7) / 100),
+      pageSize: 10,
       pattern: '',
     };
   }
 
   public componentWillMount(): void {
     this.props.clearLeaderboard();
-    const noOfElems = Math.floor((window.innerHeight * 0.7) / 100);
-    this.props.getLeaderboard(this.state.nextFetchIndex, noOfElems);
+    this.props.getLeaderboard(this.state.nextFetchIndex, 10);
     this.props.getTimer();
   }
 

src/app/components/SubmitBar/RunOptions.tsx

@@ -49,10 +49,10 @@ export class RunOptions extends React.Component<
 
     const maps = this.props.maps || hardCodedMap;
 
-    // const hardCodedAiIds: number[] = [1];
+    const hardCodedAiIds: number[] = [1];
 
-    // @ts-ignore
-    // const aiIds = hardCodedAiIds;
+    @ts-ignore
+    const aiIds = hardCodedAiIds;
 
     const matchOptions = [
       {
@@ -63,16 +63,16 @@ export class RunOptions extends React.Component<
       },
     ];
 
-    // if (aiIds) {
-    //   aiIds.map((aiId) => {
-    //     matchOptions.push({
-    //       aiId,
-    //       icon: <FontAwesomeIcon icon={faRobot} />,
-    //       name: `AI ${aiId} Match`,
-    //       type: SubmissionActions.Type.AI_MATCH,
-    //     });
-    //   });
-    // }
+    if (aiIds) {
+      aiIds.map((aiId) => {
+        matchOptions.push({
+          aiId,
+          icon: <FontAwesomeIcon icon={faRobot} />,
+          name: `AI ${aiId} Match`,
+          type: SubmissionActions.Type.AI_MATCH,
+        });
+      });
+    }
 
     const mapOptions = (
       <div className={classnames(styles['dropdown-submenu'])}>