This isn't actually my bug, but I've hijacked it now.
Indeed hiding the tab's contents is better (I remember something in the HIG about that), so here's a new patch.
This isn't actually my bug, but I've hijacked it now.
Indeed hiding the tab's contents is better (I remember something in the HIG about that), so here's a new patch.