diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-04-19 09:53:37 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-04-19 09:53:37 +0100 |
| commit | b2123547df158250fdbfc8a445b91327808a8a5c (patch) | |
| tree | 312be616fa1529289678892fe6ba51ce01956383 /src/buffer_manager.hh | |
| parent | 97b08a6f09cc1b22c4a4b09c12ad7b587f9d1e0b (diff) | |
Use StringView in BufferManager
Diffstat (limited to 'src/buffer_manager.hh')
| -rw-r--r-- | src/buffer_manager.hh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/buffer_manager.hh b/src/buffer_manager.hh index 287ef672..a1001ffd 100644 --- a/src/buffer_manager.hh +++ b/src/buffer_manager.hh @@ -23,14 +23,14 @@ public: void unregister_buffer(Buffer& buffer); void delete_buffer(Buffer& buffer); - void delete_buffer_if_exists(const String& name); + void delete_buffer_if_exists(StringView name); iterator begin() const { return m_buffers.cbegin(); } iterator end() const { return m_buffers.cend(); } size_t count() const { return m_buffers.size(); } - Buffer* get_buffer_ifp(const String& name); - Buffer& get_buffer(const String& name); + Buffer* get_buffer_ifp(StringView name); + Buffer& get_buffer(StringView name); void set_last_used_buffer(Buffer& buffer); CandidateList complete_buffer_name(StringView prefix, |
