MInterval root = (MInterval) plist.Val;
root.Delete (from, to);
if (from > 0 && from < nchars)
- root.MergeAfterChange (from, from);
+ ((MInterval) plist.Val).MergeAfterChange (from, from);
}
else
intervals.Clear ();
if (c1 != null)
c1.Parent = this;
+ Parent.update_from_to ();
return Parent;
}
if (c2 != null)
c2.Parent = this;
+ Parent.update_from_to ();
return Parent;
}
{
MInterval i = this;
+ update_from_to ();
while (true)
{
// .-this-.