split_interval_right  896 src/intervals.c 	  temp = split_interval_right (i, position - i->position);
split_interval_right  957 src/intervals.c 	      prev = split_interval_right (prev, position - prev->position);
split_interval_right 2257 src/intervals.c       t = split_interval_right (t, prevlen);
split_interval_right  252 src/intervals.h extern INTERVAL split_interval_right (INTERVAL, ptrdiff_t)
split_interval_right 1227 src/textprop.c       i = split_interval_right (unchanged, s - unchanged->position);
split_interval_right 1499 src/textprop.c       i = split_interval_right (unchanged, s - unchanged->position);
split_interval_right 1617 src/textprop.c       i = split_interval_right (unchanged, s - unchanged->position);
split_interval_right 1743 src/textprop.c       i = split_interval_right (unchanged, s - unchanged->position);