Code

git-gui: Change the main window progress bar to use status_bar