public interface TabBarControls
Tab.getPickerTitle(), 
com.smartgwt.client.widgets.tab.TabSet#getTabBarControls, 
TabSet.getShowTabScroller(), 
TabSet.getShowTabPicker(), 
TabSet.getAnimateTabScrolling(), 
TabSet.getScroller(), 
TabSet.getScrollerButtonSize(), 
TabSet.getTabPicker(), 
TabSet.getPickerButtonSize(), 
TabSet.getTouchPickerButtonSize()