diff options
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); |