+ void recordCurrentAuthor(Author const & author);
+ /// Call changed() on all buffers, internal or not
+ void changed(bool update_metrics) const;
+ /// emergency save for all buffers
+ void emergencyWriteAll();
+ /// FIXME
+ void updateIncludedTeXfiles(std::string const &, OutputParams const &);
+ //@}