Miscellaneous improvements for the document properties dialog
Merge pull request #4167 from timvandermeij/followup-document-properties

Miscellaneous improvements for the document properties dialog