/// Like Sensitive but also this property is deleted from a span
/// of text if a text just before the span is modified,
/// inserted, or deleted.
- FrontSensitive = 0x0C,
+ FrontSensitive = 0x08,
/// Like Sensitive but also this property is deleted from a span
/// of text if a text just after the span is modified, inserted,
/// or deleted.
- RearSensitive = 0x14
+ RearSensitive = 0x10
};
internal MSymbol key;
}
/// Combine intervals between HEAD and TAIL (both inclusive) to
- /// the common parent of HEAD and TAIL while assuming that the
- /// intervals are mergeable.
+ /// the common parent of HEAD and TAIL. Callers should assure
+ /// that the intervals are mergeable in advance.
private static void combine (MInterval head, MInterval tail)
{
M17n.DebugPrint ("combining "); head.DumpOne (true, false);
M17n.DebugPrint (" through "); tail.DumpOne (true, false);
+ head.update_from_to ();
+ tail.update_from_to ();
int from = head.From;
int to = tail.To;
+
// The nearest common parent of HEAD and TAIL.
MInterval root;
for (root = head; root.To + root.RightLength < to;
}
root.update_from_to ();
}
+ M17n.DebugPrint ("combining done\n");
}
public void MergeAfterChange (int start, int end)