diff options
Diffstat (limited to 'src/buffer_manager.hh')
| -rw-r--r-- | src/buffer_manager.hh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/buffer_manager.hh b/src/buffer_manager.hh index 3d90c1f8..01c30e81 100644 --- a/src/buffer_manager.hh +++ b/src/buffer_manager.hh @@ -22,6 +22,9 @@ public: void register_buffer(Buffer& buffer); void unregister_buffer(Buffer& buffer); + void delete_buffer(Buffer& buffer); + void delete_buffer_if_exists(const String& name); + iterator begin() const { return m_buffers.cbegin(); } iterator end() const { return m_buffers.cend(); } size_t count() const { return m_buffers.size(); } |