diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-04-23 20:15:17 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-04-23 20:15:17 +0100 |
| commit | d6b69cb6f7818d5fb9d01007828a385eaf1308dc (patch) | |
| tree | cb77cfbfa08cb09adc75cb66b92d82398437b5a2 /src/buffer_manager.hh | |
| parent | 80fb8aa60d20720b2f5322dd3f29d8215bfec8e4 (diff) | |
Fix :open bug that could set a deleted buffer as the last used one
Diffstat (limited to 'src/buffer_manager.hh')
| -rw-r--r-- | src/buffer_manager.hh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/buffer_manager.hh b/src/buffer_manager.hh index 8dab6df7..ec321b7f 100644 --- a/src/buffer_manager.hh +++ b/src/buffer_manager.hh @@ -22,7 +22,6 @@ public: void unregister_buffer(Buffer& buffer); void delete_buffer(Buffer& buffer); - void delete_buffer_if_exists(StringView name); iterator begin() const { return m_buffers.cbegin(); } iterator end() const { return m_buffers.cend(); } |