diff src/widgetprv.h @ 20908:516b224be85a

(split_interval_right): Make sure to call balance_possible_root_interval in case an interval doesn't have a right child, because otherwise the interval tree might degenerate into a list. (split_interval_left): Ditto if an interval hasn't a left child.
author Richard M. Stallman <rms@gnu.org>
date Mon, 16 Feb 1998 23:46:08 +0000
parents ee40177f6c68
children 23a1cea22d13
line wrap: on
line diff