When logged in, the compilation-pane should update on build completion, regardless of wether that build was started by a git commit hook or a UI button. Currently, if there isn't a build running on the last time the pane is loaded, and you don't start a new build, the update timer never files and there is no recourse short of starting new builds, or refreshing the browser window and reloading the entire app.