[PATCH] Improve GTK progress bar

The GTK progress bar currently bursts the status bar, because its default
height is too big. Fix this by requesting a height that will fit into the
status bar.

If nobody objects, I'll commit.

Ingo