diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-10-13 21:37:44 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-10-13 21:37:44 +0100 |
| commit | cc2affea11781d4ad1e1b9d7a9c7d729064c2c10 (patch) | |
| tree | 19a29d79cb0ccd52ddfd5a45db0537c4bda28830 /src/input_handler.cc | |
| parent | 5af29b025419fa3df9f82b99478f64e6e13855d4 (diff) | |
Always allow to delete a buffer, just recreate a scratch buffer if needed
Fixes #850
Diffstat (limited to 'src/input_handler.cc')
0 files changed, 0 insertions, 0 deletions