diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-10-11 00:45:05 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-10-11 00:45:05 +0100 |
| commit | 5440d31f995d9143e4f14a343a41aaab227ffbad (patch) | |
| tree | 44410e9292d6f4df2f58c67e748772676b633612 /src/buffer_manager.hh | |
| parent | 780a4605fa700874af7c9ed501d49c8e9722eac3 (diff) | |
Only create a default *scratch* when we dont have any non debug buffers
Fixes #852
Closes #856
Diffstat (limited to 'src/buffer_manager.hh')
| -rw-r--r-- | src/buffer_manager.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/buffer_manager.hh b/src/buffer_manager.hh index f992dcf6..d12c515b 100644 --- a/src/buffer_manager.hh +++ b/src/buffer_manager.hh @@ -30,6 +30,8 @@ public: Buffer* get_buffer_ifp(StringView name); Buffer& get_buffer(StringView name); + Buffer& get_first_buffer(); + void backup_modified_buffers(); void clear_buffer_trash(); |