Fix changing page forgetting about sorting

This commit is contained in:
Jason Reed
2020-08-14 08:06:31 -04:00
parent 1f4e69940d
commit 37cf525c8e

View File

@@ -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: