/**
* Gets the number of child widgets in this panel.
*
* <p>Wrapper function for {@link com.google.gwt.user.client.ui.TabLayoutPanel#getWidgetCount()}
*
* @return the number of children
*/
public int getTabCount() {
return m_tabPanel.getWidgetCount();
}
