Fix sorting issue with more than 10 pages
The pages of a PDF with more than 10 pages were sorted as 1, 10, 11, 12, ... 2, 20, 21, ...
. This issue is fixed with this MR as 1, 2, 3, ..., 9, 10, 11, ...
.
The pages of a PDF with more than 10 pages were sorted as 1, 10, 11, 12, ... 2, 20, 21, ...
. This issue is fixed with this MR as 1, 2, 3, ..., 9, 10, 11, ...
.