protected HasText getTabTextAccessor(final int pos) {

        HasText tabText = new HasText() {

            /**
             * @see com.google.gwt.user.client.ui.HasText#getText()
             */
            public String getText() {

                return m_tabbedPanel.getTabText(pos);

            }

            /**
             * @see com.google.gwt.user.client.ui.HasText#setText(java.lang.String)
             */
            public void setText(String text) {

                m_tabbedPanel.setTabText(pos, text);
            }
        };
        return tabText;
    }
protected HasText getTabTextAccessor ( final int pos ) { HasText tabText = new HasText ( ) { public String getText ( ) { return m_tabbedPanel . getTabText ( pos ) ; } public void setText ( String text ) { m_tabbedPanel . setTabText ( pos , text ) ; } } ; return tabText ; }
Creates a tab text accessor for a given text.<p>

@param pos the index of the tab

@return the tab text accessor for the tab at index pos