///
Inset const & inInset() const;
///
- InsetCode ownerCode() const;
- ///
- bool forcePlainLayout() const;
- ///
bool allowParagraphCustomization() const;
///
bool usePlainLayout() const;
/// is there a deletion at the given pos ?
bool isDeleted(pos_type pos) const;
/// is the whole paragraph deleted ?
- bool isFullyDeleted(pos_type start, pos_type end) const;
+ bool isDeleted(pos_type start, pos_type end) const;
/// will the paragraph be physically merged with the next
/// one if the imaginary end-of-par character is logically deleted?