Fix #548: Cannot make the Edit Document Window smaller
 - minimumSize() of editor window was incorrectly set based on screen
   geometry
Merge pull request #577 from stennie/issue-548

Fix #548: Cannot make the Edit Document Window smaller