;
pro add_animid,info,id
  anim_ids = *info.panim_ids
  for i=0,n_elements(anim_ids)-1 do begin
    if (anim_ids(i) le 0) then begin
      anim_ids(i) = id
;     print,'add_animateid: added widget ',id,' to anim_ids at i=',i
      goto,done
    endif
  endfor
  done:
  *info.panim_ids = anim_ids
end