Neater patch of magit-diff window height.