Angus insetindex patch + protect patch from Dekel

[lyx.git] / src / bufferlist.h

diff --git a/src/bufferlist.h b/src/bufferlist.h
index 1c59ea8c3a5585c2bc731049f21ea900fb93d2fa..f5155b370eb3a5262f56c6de0765a5979f4de5fd 100644 (file)
--- a/src/bufferlist.h
+++ b/src/bufferlist.h
@@ -4,9 +4,9 @@
  * 
  *           LyX, The Document Processor        
  *           Copyright 1995 Matthias Ettrich
- *           Copyright 1995-1999 The LyX Team
+ *           Copyright 1995-2000 The LyX Team
  *
- *           This file is Copyright 1996
+ *           This file is Copyright 1996-2000
  *           Lars Gullik Bjønnes
  *
  * ====================================================== */
@@ -32,7 +32,7 @@
 class BufferStorage {
 public:
        ///
-       typedef vector<Buffer *> Container;
+       typedef std::vector<Buffer *> Container;
        ///
        typedef Container::iterator iterator;
        ///
@@ -42,7 +42,7 @@ public:
        ///
        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(); }
        ///
@@ -82,7 +82,7 @@ public:
        };
 
        /// returns the state of the bufferlist
-       list_state getState() { return state_; }
+       list_state getState() const { return state_; }
        
        /** loads a LyX file or...
            If the optional argument tolastfiles is false (default is
@@ -93,10 +93,7 @@ public:
                             bool tolastfiles = true);
        
        ///
-       bool empty();
-
-       /// Saves buffer. Returns false if unsuccesful.
-       bool write(Buffer *, bool makeBackup);
+       bool empty() const;
 
        ///
         bool QwriteAll();
@@ -113,10 +110,7 @@ public:
        /// 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 *);
@@ -136,8 +130,11 @@ public:
        Buffer * first();
        
        /// returns true if the buffer exists already
-       bool exists(string const &);
+       bool exists(string const &) const;
 
+       /// 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.