- std::vector<std::string> const getFileNames() const;
-
- /// FIXME
- void updateIncludedTeXfiles(std::string const &, OutputParams const &);
-
- /// 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);