From 6840f7ce9cae76295ecedd92114829b413fdd6bb Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Sat, 7 Nov 2015 18:24:08 +0000
Subject: Store the last used buffer in clients

Fixes #474
---
 src/buffer_manager.hh | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/buffer_manager.hh')

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();
 
-- 
cgit v1.2.3