- Buffer * newFile(string const &, string);
-
- /** This one must be moved to some other place.
- */
- void makePup(int);
-
- ///
- void updateInset(Inset *, bool = true);
+ Buffer * newFile(string const &, string, bool isNamed=false);
+ /// returns a vector with all the buffers filenames
+ std::vector<string> const getFileNames() const;