sets the view to the explorer with the specified name . if no explorers are found with a matching name , or if the name is null , then do nothing . concode_field_sep JPanel explorerTabber concode_elem_sep JPanel view concode_elem_sep List<CButton> buttons concode_elem_sep Color BUTTON_COLOR_TEXT concode_elem_sep List<Explorer> explorers concode_elem_sep Type explorerModel concode_elem_sep GridBagConstraints explorerTabberConstraints concode_elem_sep int position concode_field_sep JComponent getSwitcher concode_elem_sep JComponent getJComponent concode_elem_sep void addExplorer concode_elem_sep void addExplorer concode_elem_sep boolean hasExplorer concode_elem_sep void main concode_elem_sep void addCanvas concode_elem_sep void printError concode_elem_sep void reformView concode_elem_sep void setCanvas concode_elem_sep List<Explorer> getExplorers
void function ( String arg0 ) { for ( int loc0 = 0 ; loc0 < explorers . size ( ) ; loc0 ++ ) { Explorer loc1 = explorers . get ( loc0 ) ; if ( loc1 . getName ( ) . equals ( arg0 ) ) { setView ( loc0 ) ; } } }