May 12th, 2011, 9:50 AM
Hey!
Yeah, I thought about that when working on the first 2.0.0 release, but ended up deciding not to worry about it. It's *possible* some people would want tabs with the same names (... maybe?), so if they want it, they get it. It would add a little confusion for configuration, but that's all. By and large I don't think it's a terribly big issue.
- Ben
Yeah, I thought about that when working on the first 2.0.0 release, but ended up deciding not to worry about it. It's *possible* some people would want tabs with the same names (... maybe?), so if they want it, they get it. It would add a little confusion for configuration, but that's all. By and large I don't think it's a terribly big issue.
- Ben