I don't know, but I think the answer is "it depends on how many people want that". Sounds like an API that would be part of the API tree style tabs would need a

I don't know, but I think the answer is "it depends on how many people want that". Sounds like an API that would be part of the API tree style tabs would need anyway.