/// \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 setGuiDelegate(frontend::GuiBufferDelegate * gui);
///
- bool Buffer::hasGuiDelegate() const;
+ bool hasGuiDelegate() const;
///
void autoSave() const;