Fix #548: Cannot make the Edit Document Window smaller

 - minimumSize() of editor window was incorrectly set based on screen
   geometry