defaultRowHeaderWidth