diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2013-03-21 19:09:31 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2013-03-21 19:09:31 +0100 |
| commit | e5d93c21941ddd65b1ac5d3c83e419ed94f35f61 (patch) | |
| tree | cde1d7d83ea98490fc8108b8674738b59b01b321 /src/buffer_manager.hh | |
| parent | df79b7610a788034dfc351fc1299f80b9eaf58a7 (diff) | |
BufferManager: replace Buffer* get_buffer with Buffer& get_buffer
Diffstat (limited to 'src/buffer_manager.hh')
| -rw-r--r-- | src/buffer_manager.hh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/buffer_manager.hh b/src/buffer_manager.hh index d8065578..3d90c1f8 100644 --- a/src/buffer_manager.hh +++ b/src/buffer_manager.hh @@ -26,7 +26,8 @@ public: iterator end() const { return m_buffers.cend(); } size_t count() const { return m_buffers.size(); } - Buffer* get_buffer(const String& name); + Buffer* get_buffer_ifp(const String& name); + Buffer& get_buffer(const String& name); void set_last_used_buffer(Buffer& buffer); CandidateList complete_buffername(const String& prefix, |