Backend + Main window: page drawer: optim: speed up PDF display:
no need to render the whole pages to get their sizes ...

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Main window: Selecting a page now shows it again

Signed-off-by: Jerome Flesch <jflesch@gmail.com>