Dialog: stop using obsolete Gtk.MessageDialog attribute

Signed-off-by: Jerome Flesch <jflesch@gmail.com>
Main window: when importing new docs, fix doc list refreshing

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