/// \return true if \p child is a child of this \c Buffer.
bool isChild(Buffer * child) const;
+
+ /// return a vector with all children and grandchildren
+ std::vector<Buffer *> getChildren() const;
/// Is buffer read-only?
bool isReadonly() const;
///
void message(docstring const & msg) const;
+ ///
void setGuiDelegate(frontend::GuiBufferDelegate * gui);
+ ///
+ bool hasGuiDelegate() const;
///
void autoSave() const;