void function ( String arg0 ) { int loc0 = recentIndexOf ( arg0 ) ; if ( loc0 >= 0 ) { Entry loc1 = ( Entry ) recent . get ( loc0 ) ; recent . remove ( loc0 ) ; recent . add ( 0 , loc1 ) ; } }
touch an ord which moves it to the top of the most recent list . concode_field_sep int MAX_HISTORY concode_elem_sep ArrayList recent concode_elem_sep int count concode_elem_sep Entry[] list concode_elem_sep String uri concode_elem_sep int current concode_field_sep Entry[] recentList concode_elem_sep void recentAdd concode_elem_sep boolean isBackEnabled concode_elem_sep boolean isUpEnabled concode_elem_sep Entry[] getBackHistory concode_elem_sep String forward concode_elem_sep int recentIndexOf concode_elem_sep String back concode_elem_sep boolean isForwardEnabled concode_elem_sep Entry getCurrent concode_elem_sep Entry[] getForwardHistory concode_elem_sep Entry append