/// 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 &);