Docsearch: Remove __update_index()

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
DocSearch: When instanciated, just reload the previous Whoosh index. Update will be done later

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Re-do indexation:
- With an independent thread/worker, examine which documents must be updated
- With a normal thread/worker, update the index

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Make index update interruptible

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Connect all the indexation pieces to the main window

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

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

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Fix manual document deletion support

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
PDF: Load pages on-the-fly instead of when starting

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Revert "Doc indexation: Temporary optim: Instead of looking at the modification time of all the files in all the documents, just look at their directory modification time"

This reverts commit 28e5d881c9306e3505050fed3f4cd34699588380.

Conflicts:
	src/paperwork/backend/pdf/doc.py
Box highlighting: Increase the time interval between refresh. Otherwise, Atom processors are not fast enough to follow the mouse

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Main window: when the mouse leave the image area, make sure no word is highlighted anymore

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Wait for thumbnails to be loaded before examining all the documents: Doing side by side can be painfully slow on some computers ...

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