diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-11-07 18:24:08 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-11-07 18:25:49 +0000 |
| commit | 6840f7ce9cae76295ecedd92114829b413fdd6bb (patch) | |
| tree | 2331ca711cf9c1926bf336a518ef6dd840ac5725 /src/buffer_manager.hh | |
| parent | 6bb775241cf44fa2aec40c1fa0294e8b7379cf70 (diff) | |
Store the last used buffer in clients
Fixes #474
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 ec321b7f..014d241e 100644 --- a/src/buffer_manager.hh +++ b/src/buffer_manager.hh @@ -29,7 +29,6 @@ public: Buffer* get_buffer_ifp(StringView name); Buffer& get_buffer(StringView name); - void set_last_used_buffer(Buffer& buffer); void backup_modified_buffers(); |