diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-05-28 22:51:12 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-05-28 22:51:12 +0000 |
| commit | d96427b83186835107bc4331f91a9f8924d8bb3f (patch) | |
| tree | 4e1db9c94992ba07055fc49fa8dc6bbc99d2dd7c /src/buffer_manager.hh | |
| parent | 393b9b24e2100eb0382e9eeb16f12e11ab53478a (diff) | |
Add a delbuf (db) command which delete an existing buffer
Diffstat (limited to 'src/buffer_manager.hh')
| -rw-r--r-- | src/buffer_manager.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/buffer_manager.hh b/src/buffer_manager.hh index 1ee9f8fb..e893d419 100644 --- a/src/buffer_manager.hh +++ b/src/buffer_manager.hh @@ -31,6 +31,7 @@ public: iterator begin() const { return iterator(m_buffers.begin()); } iterator end() const { return iterator(m_buffers.end()); } + size_t count() const { return m_buffers.size(); } Buffer* get_buffer(const String& name); |