I've come up with a work around, but hope there is a more "official" API solution.

I handled the "dataRendered" event in the igGrid.  Then I check the "data-localeid" attribute of the "pager label" element. If it's not "pagerRecordsLabelTooltip", then I set it to the "1 - # of ## records" format:

function FixPagerLabelAfterFilter() {
    let pager = $("#igGridElement_pager_label");
    if (pager.attr("data-localeid") !== "pagerRecordsLabelTooltip") {
        let startRecord = pager.attr("data-startrecord");
        let endRecord = pager.attr("data-endrecord");
        let recordCount = pager.attr("data-recordcount");
        pager.text(startRecord + " - " + endRecord + " of " + recordCount + " records");
    }
}

Yes, it can. You can suggest new product ideas for future versions (or vote for existing ones) at https://ko.infragistics.com/community/ideas.

Submitting your idea will allow you to communicate directly with our product management team, track the progress of your idea at any time, see how many votes it got, read comments from other developers in the community, and see if someone from the product team has additional questions for you.

Remember when submitting your idea to explain the context in which a feature would be used and why it is needed as well as anything that would prevent you from accomplishing this today. You can even add screenshots to build a stronger case. Remember that for your suggestion to be successful, you need other members of the community to vote for it. You can also link back to this thread for additional details.