};
/// 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;
// FIXME This really shouldn't be needed, but at the moment it's not
// clear how to do it just for the individual pieces we need.
void setBuffersForInsets() const;
- ///
- void updateLabels(UpdateScope = UpdateMaster) const;
- ///
- void updateLabels(ParIterator & parit) const;
+ /// Updates screen labels and some other information associated with
+ /// insets and paragraphs. Actually, it's more like a general "recurse
+ /// through the Buffer" routine, that visits all the insets and paragraphs.
+ void updateLabels() const { updateLabels(UpdateMaster, false); }
+ /// \param scope: whether to start with the master document or just
+ /// do this one.
+ /// \param output: whether we are preparing for output.
+ void updateLabels(UpdateScope scope, bool output) const;
+ ///
+ void updateLabels(ParIterator & parit, bool output) const;
/// Spellcheck starting from \p from.
/// \p from initial position, will then points to the next misspelled
class Impl;
/// The pointer never changes although *pimpl_'s contents may.
Impl * const d;
-
+ ///
frontend::GuiBufferDelegate * gui_;
/// This function is called when the buffer structure is changed.