nl_tokens: Selects a tab .
pl_tokens: function jscoverage_selectTab ( tab ) { if ( typeof tab !== 'number' ) { tab = jscoverage_tabIndexOf ( tab ) ; } var tabs = document . getElementById ( 'tabs' ) ; var tabPages = <mask> . getElementById ( 'tabPages' ) ; var nodeList ; var tabNum ; var i ; var node ; nodeList = tabs . childNodes ; tabNum = 0 ; for ( i = 0 ; i < nodeList . length ; i ++ ) { node = nodeList . item ( i ) ; if ( node . nodeType !== 1 ) { continue ; } if ( node . className !== 'disabled' ) { if ( tabNum === tab ) { node . className = 'selected' ; } else { node . className = '' ; } } tabNum ++ ; } nodeList = tabPages . childNodes ; tabNum = 0 ; for ( i = 0 ; i < nodeList . length ; i ++ ) { node = nodeList . item ( i ) ; if ( node . nodeType !== 1 ) { continue ; } if ( tabNum === tab ) { node . className = 'selected TabPage' ; } else { node . className = 'TabPage' ; } tabNum ++ ; } }