git-gui: add configurable tab size to the diff view