this function resizes the explorers to match the view panel . 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 setView concode_elem_sep void setView concode_elem_sep void main concode_elem_sep void addCanvas concode_elem_sep void printError concode_elem_sep void setCanvas concode_elem_sep List<Explorer> getExplorers
void function ( ) { Rectangle loc0 = view . getBounds ( ) ; for ( Explorer loc1 : explorers ) { loc1 . getJComponent ( ) . setBounds ( loc0 ) ; loc1 . reformView ( ) ; } view . revalidate ( ) ; view . repaint ( ) ; }