class BufferStorage {
public:
///
- typedef vector<Buffer *> Container;
+ typedef std::vector<Buffer *> Container;
///
typedef Container::iterator iterator;
///
///
void release(Buffer * buf);
///
- Buffer * newBuffer(string const & s, LyXRC *, bool = false);
+ Buffer * newBuffer(string const & s, bool = false);
///
Container::iterator begin() { return container.begin(); }
///
/// Make a new file (buffer) using a template
Buffer * newFile(string const &, string);
/// returns a vector with all the buffers filenames
- vector<string> getFileNames() const;
+ std::vector<string> getFileNames() const;
///
int unlockInset(UpdatableInset *);