void function ( final DBNodes arg0 , final View arg1 ) { final Context loc0 = gui . context ; loc0 . marked = arg0 ; for ( final View loc1 : view ) if ( loc1 != arg1 && loc1 . visible ( ) ) loc1 . refreshMark ( ) ; gui . filter . setEnabled ( arg0 . size ( ) != 0 ) ; gui . refreshControls ( ) ; }
notifies all views of a selection change . concode_field_sep DBNodes[] cont concode_elem_sep int hist concode_elem_sep long LARGEDB concode_elem_sep String[] queries concode_elem_sep View[] view concode_elem_sep GUI gui concode_elem_sep int MAXHIST concode_elem_sep DBNodes[] marked concode_elem_sep int histsize concode_field_sep void add concode_elem_sep void layout concode_elem_sep void init concode_elem_sep void hist concode_elem_sep void checkHist concode_elem_sep String query concode_elem_sep void context concode_elem_sep void focus concode_elem_sep void update concode_elem_sep Data initHistory concode_elem_sep void mark concode_elem_sep void mark