None = 0x00,
/// A text inserted before a character that has this property
/// inherits this property. If the text already has properties
- /// of the same key, they are deleted. See the documentation of
- /// Sensitive for exception.
+ /// of the same key, they are deleted.
FrontSticky = 0x01,
/// A text inserted after a character that has this property
/// inherits this property. If the text already has properties
- /// of the same key, they are deleted. See the documentation of
- /// Sensitive for exception.
+ /// of the same key, they are deleted.
RearSticky = 0x02,
/// This property is deleted from a span of text if the span is
/// modified (i.e. a character is changed, a text is inserted,
/// property of the same key is added, which means that this
/// property is not stackable.
Sensitive = 0x04,
- /// This property is deleted from a span of text if a text just
- /// before the span is modified, inserted, or deleted.
- FrontSensitive = 0x08,
- /// This property is deleted from a span of text if a text just
- /// after the span is modified, inserted, or deleted.
- RearSensitive = 0x10
+ /// 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,
+ /// 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
};
internal MSymbol key;