Yes, I see more records, but I can increase at most 50.
So if I have 156 record I can only see the first 50, but not the other 106.
And the navigation buttons are still disabled.
I’ve compared the files under the directory “lib/Search/UI/” with the 7.12.5 version, especially for the file SearchResultsController.php where I found the logic that decides if disable the navigation button or not.