Code

git-gui: fix size and position of window panes on startup