Code

git-gui: Pad the database statistics dialog window.