Fix for issue #7 "Refresh on resize only". A repaint of the document_view is forced when a document has been opened.