Select all rows in results grid should allow copy

Describe the bug

Assuming I have a result set with more than the configured "Data result rows per page", I click the upper left corner of the grid to select all rows. This selects just the rows in the batch, but offers a button labeled "Select All N Rows". If I click that button, a message is shown stating "All N rows are selected". However, the Copy button is disabled, so I can't actually copy the rows.

To Reproduce

Steps to reproduce the behavior:

1. Rows per page is set to 1000
2. I run a query that has 24945 results
3. Click on the empty space above the row numbers to select all rows
4. Click on the button labeled "Select All 24945 Rows"

Expected behavior
Copy button should be enabled, allowing me to copy these rows.

Screenshots

Desktop (please complete the following information):

• OS: Windows-11-10.0.22631-SP0
• Version: 8.13
• Mode: Desktop

Additional context

My employer manages our PGAdmin install. Not sure what version I had previously but it didn't have this paging system. In that version, I could just click the space above the row numbers twice and the entire result set would be loaded.

I can work around this new issue by editing the range but I find this less convenient than the way it worked before.

No source file or test is named. Reproduce the issue with 1,000 rows per page and 24,945 query results, then trace the results grid's select-all and Copy-button state; done means selecting all rows enables Copy and allows the full result set to be copied.