* UI2:production Fix bug #5347: made tab size a little bigger.