Main window: Doc list: Make sure all the document thumbnails have the same height.
This way, the scrollbar doesn't keep jumping around when the thumbnails are being loaded

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