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(); }
///
///
bool empty() const;
- /// Saves buffer. Returns false if unsuccesful.
- bool write(Buffer *, bool makeBackup);
-
///
bool QwriteAll();
/// 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;
-
- ///
- void updateInset(Inset *, bool = true);
+ std::vector<string> getFileNames() const;
///
int unlockInset(UpdatableInset *);
/// returns true if the buffer is loaded
bool isLoaded(Buffer const * b) const;
-
+
/// returns a pointer to the buffer with the given name.
Buffer * getBuffer(string const &);
/// returns a pointer to the buffer with the given number.