copy_properties   897 src/intervals.c 	  copy_properties (i, temp);
copy_properties  1498 src/intervals.c   copy_properties (source, target);
copy_properties  1635 src/intervals.c       copy_properties (under, end_unchanged);
copy_properties  1672 src/intervals.c 	  copy_properties (under, this);
copy_properties  1682 src/intervals.c 	copy_properties (over, this);
copy_properties  2250 src/intervals.c   copy_properties (i, new);
copy_properties  2258 src/intervals.c       copy_properties (i, t);
copy_properties   245 src/intervals.h extern void copy_properties (INTERVAL, INTERVAL);
copy_properties  1228 src/textprop.c       copy_properties (unchanged, i);
copy_properties  1280 src/textprop.c 	  copy_properties (unchanged, i);
copy_properties  1503 src/textprop.c 	  copy_properties (unchanged, i);
copy_properties  1618 src/textprop.c       copy_properties (unchanged, i);
copy_properties  1669 src/textprop.c 	  copy_properties (unchanged, i);
copy_properties  1744 src/textprop.c       copy_properties (unchanged, i);
copy_properties  1786 src/textprop.c 	      copy_properties (unchanged, i);