Main window: Optimize document deletion: No need to refresh the whole doc list

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
main window: doc list update: Fix 'new doc' automatic (re)selection

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Merge branch 'testing' into unstable