source-pane: scroll match to center of view.
workspace-pane: add "busy" property.
workspace-pane-group: use tabs
workspace, splash: switch to GtkHeaderBar.