void markClean() const;
///
- void markBakClean();
+ void markBakClean() const;
///
void markDepClean(std::string const & name);
/// This function is called when the buffer is changed.
void changed() const;
- /// This function is called if the buffer is being closed.
- void closing(Buffer *) const;
/// This function is called when the buffer structure is changed.
void structureChanged() const;
/// This function is called when an embedded file is changed
void setGuiDelegate(frontend::GuiBufferDelegate * gui);
+ ///
+ void autoSave() const;
+ ///
+ bool writeAs(std::string const & newname = std::string());
+ ///
+ bool menuWrite();
private:
/** Inserts a file into a document