/// emergency save for all buffers
void emergencyWriteAll();
- /// save emergency file for the given buffer
- /**
- * \return a status message towards the user.
- */
- docstring emergencyWrite(Buffer * buf);
-
/// return true if no buffers loaded
bool empty() const;
/// reset current author for all buffers
void setCurrentAuthor(docstring const & name, docstring const & email);
+ /// Call changed() on all buffers, internal or not
+ void changed(bool update_metrics) const;
+
private:
/// noncopiable
BufferList(BufferList const &);