};
/// Constructor
- explicit Buffer(std::string const & file, bool b = false);
+ explicit Buffer(std::string const & file, bool readonly = false,
+ Buffer const * cloned_buffer = 0);
/// Destructor
~Buffer();
+ ///
+ Buffer * clone() const;
+ ///
+ bool isClone() const;
+
/** High-level interface to buffer functionality.
This function parses a command string and executes it.
*/
/// return a vector with all children (and grandchildren)
std::vector<Buffer *> getChildren(bool grand_children = true) const;
+ /// Add all children (and grandchildren) to supplied vector
+ void getChildren(std::vector<Buffer *> & children, bool grand_children = true) const;
+
/// Is buffer read-only?
bool isReadonly() const;
bool isExportable(std::string const & format) const;
///
std::vector<Format const *> exportableFormats(bool only_viewable) const;
+ ///
+ bool isExportableFormat(std::string const & format) const;
///
typedef std::vector<std::pair<InsetRef *, ParIterator> > References;