small changes to ButtonController usage

[lyx.git] / src / bufferlist.h

diff --git a/src/bufferlist.h b/src/bufferlist.h
index fec67696c0bd3a5eb6d0f79f9131dbf4a5894480..e397611607dfccd75c462e91a2cdf5c1e8f50512 100644 (file)
--- a/src/bufferlist.h
+++ b/src/bufferlist.h
@@ -20,8 +20,7 @@
 
 #include "buffer.h"
 #include "debug.h"
-
-using std::vector;
+#include "support/utility.hpp"
 
 /** A class to hold all the buffers in a structure
   The point of this class is to hide from bufferlist what kind
@@ -31,10 +30,10 @@ using std::vector;
   This class should ideally be enclosed inside class BufferList, but that
   gave me an "internal gcc error".
   */
-class BufferStorage {
+class BufferStorage : public noncopyable {
 public:
        ///
-       typedef vector<Buffer *> Container;
+       typedef std::vector<Buffer *> Container;
        ///
        typedef Container::iterator iterator;
        ///
@@ -65,12 +64,9 @@ private:
 };
 
 
-/** The class governing all the open buffers
-  This class governs all the currently open buffers. Currently all the buffer
-  are located in a static array, soon this will change and we will have a
-  linked list instead.
+/** The class govern all open buffers.
  */
-class BufferList {
+class BufferList : public noncopyable {
 public:
        ///
        BufferList();
@@ -112,7 +108,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;
+       std::vector<string> getFileNames() const;
 
        ///
        int unlockInset(UpdatableInset *);
@@ -123,10 +119,11 @@ public:
        ///
        void emergencyWriteAll();
 
-       /** closes buffer
-         Returns false if operation was canceled
+       /** Close buffer.
+           @param buf the buffer that should be closed
+           @return #false# if operation was canceled
          */
-       bool close(Buffer *);
+       bool close(Buffer * buf);
 
        ///
        Buffer * first();