git-gui: right half window is paned