void clearIncludedChildren() { included_children_.clear(); }
/// update aux files of unincluded children (with \includeonly)
- bool maintain_unincluded_children;
+ enum ChildrenMaintenance {
+ CM_None,
+ CM_Mostly,
+ CM_Strict
+ };
+ ChildrenMaintenance maintain_unincluded_children;
/// returns the main font for the buffer (document)
Font const getFont() const;
bool change_bars;
///
bool compressed;
+ ///
+ bool postpone_fragile_content;
/// the author list for the document
AuthorList & authors();