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.cc | |
| parent | 80fb8aa60d20720b2f5322dd3f29d8215bfec8e4 (diff) | |
Fix :open bug that could set a deleted buffer as the last used one
Diffstat (limited to 'src/buffer_manager.cc')
| -rw-r--r-- | src/buffer_manager.cc | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/buffer_manager.cc b/src/buffer_manager.cc index 996eafd2..09ee1aca 100644 --- a/src/buffer_manager.cc +++ b/src/buffer_manager.cc @@ -70,12 +70,6 @@ void BufferManager::delete_buffer(Buffer& buffer) kak_assert(false); } -void BufferManager::delete_buffer_if_exists(StringView name) -{ - if (Buffer* buf = get_buffer_ifp(name)) - delete_buffer(*buf); -} - Buffer* BufferManager::get_buffer_ifp(StringView name) { auto path = real_path(parse_filename(name)); |
