Also show pagination interface for interpreted results

Author: jcreedcmu

extensions/ql-vscode/src/interface.ts

@@ -407,7 +407,7 @@ export class InterfaceManager extends DisposableObject {
       database: this._displayedQuery.database,
       metadata: this._displayedQuery.query.metadata,
       pageNumber,
-      totalPages: Math.ceil(this._interpretation.sarif.runs[0].results.length / INTERPRETED_RESULTS_PAGE_SIZE),
+      numPages: Math.ceil(this._interpretation.sarif.runs[0].results.length / INTERPRETED_RESULTS_PAGE_SIZE),
     });
   }
 

extensions/ql-vscode/src/view/result-tables.tsx

@@ -112,12 +112,10 @@ export class ResultTables
 
   /**
    * Holds if we actually should show pagination interface right now. This is
-   * still false for the time being when we're viewing alerts.
+   * true as long as the result sets we're given are marked to permit it.
    */
   paginationEnabled(): boolean {
-    return this.paginationAllowed() &&
-      this.props.parsedResultSets.selectedTable !== ALERTS_TABLE_NAME &&
-      this.state.selectedTable !== ALERTS_TABLE_NAME;
+    return this.paginationAllowed()
   }
 
   constructor(props: ResultTablesProps) {