Prevent redrawing same document or same page upon mouse selection
Merge pull request #168 from kigeia/unstable

Prevent redrawing same document or same page upon mouse selection
Main window: When OCR is redone, the page currently displayed must be refreshed

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Backend: Img doc: ImgDoc.get_docfilehash() must return an hash, even on empty documents

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Fix function rename bug
Merge pull request #169 from kigeia/unstable

Fix function rename bug
Add image cache for pdf docs
Merge pull request #172 from kigeia/add_pdf_image_cache

Add image cache for pdf docs