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()