Buffer: not copyable, add destructor

1 files changed, 4 insertions, 0 deletions

diff --git a/src/buffer.hh b/src/buffer.hh
index f586af7c..aee9fba2 100644
--- a/src/buffer.hh
+++ b/src/buffer.hh
@@ -104,6 +104,10 @@ public:
 
     Buffer(const std::string& name, Type type,
            const BufferString& initial_content = "");
+    Buffer(const Buffer&) = delete;
+    Buffer(Buffer&&) = delete;
+    Buffer& operator= (const Buffer&) = delete;
+    ~Buffer();
 
     void           begin_undo_group();
     void           end_undo_group();