#include <vector>
class Buffer;
+class LatexRunParams;
/**
* The class holds all all open buffers, and handles construction
std::vector<string> const getFileNames() const;
/// FIXME
- void updateIncludedTeXfiles(string const &);
+ void updateIncludedTeXfiles(string const &, LatexRunParams const &);
/// emergency save for all buffers
void emergencyWriteAll();