Merge pull request #537 from jcreedcmu/jcreed/fix-paginated-sorting

Fix changing page forgetting about sorting

extensions/ql-vscode/CHANGELOG.md

@@ -3,6 +3,7 @@
 ## 1.3.3 - [UNRELEASED]
 
 - Fix display of raw results entities with label but no url.
+- Fix bug where sort order is forgotten when changing raw results page
 
 ## 1.3.2 - 12 August 2020
 

extensions/ql-vscode/src/interface.ts

@@ -270,7 +270,15 @@ export class InterfaceManager extends DisposableObject {
           await this.showPageOfInterpretedResults(msg.pageNumber);
         }
         else {
-          await this.showPageOfRawResults(msg.selectedTable, msg.pageNumber);
+          await this.showPageOfRawResults(
+            msg.selectedTable,
+            msg.pageNumber,
+            // When we are in an unsorted state, we guarantee that
+            // sortedResultsInfo doesn't have an entry for the current
+            // result set. Use this to determine whether or not we use
+            // the sorted bqrs file.
+            this._displayedQuery?.sortedResultsInfo.has(msg.selectedTable) || false
+          );
         }
         break;
       default: