Frontend: Add a new dialog (.glade) that will be used to edit documents

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Main window: Add buttons to edit a document (not connected yet)

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Main window: document edition: WIP

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Merge branch 'master' into date-text-change
Merge branch 'master' into date-text-change
Merge branch 'master' into date-text-change
Main window: document name: Don't display the time of the scan anymore

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Merge branch 'master' into date-text-change
Doc editing: Implement basic date changing

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Doc Edit: Validate the new date before renaming the document

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Doc edit: Reorder the date widget according to the locale

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

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Doc edit: don't update the document id if the date hasn't been changed

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Doc edit: Implements extra keywords support

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Docsearch: When the index is modified, always reload the searcher object

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Main window: Fix thumbnailing: Always draw borders on copies of the thumbnails, not the thumbnails themselves !

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
setup.py: Install doceditdialog.glade

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Doc edit: Fix doc list reloadng

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Doc edit: refix index reloading

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
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>