diff options
| author | Bram Moolenaar <Bram@vim.org> | 2017-08-13 18:11:17 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2017-08-13 18:11:17 +0200 |
| commit | e62780543f403186b27b210dd087dd8ba74159fc (patch) | |
| tree | 69c492ec6c21c0a312888a22726f06e7a9d99fd1 /src/buffer.c | |
| parent | 2438ae3d678288c4726d2e393d1c66fd5cc52623 (diff) | |
patch 8.0.0930: terminal buffers are stored in the viminfo filev8.0.0930
Problem: Terminal buffers are stored in the viminfo file while they can't
be useful.
Solution: Skip terminal buffers for file marks and buffer list
Diffstat (limited to 'src/buffer.c')
| -rw-r--r-- | src/buffer.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/buffer.c b/src/buffer.c index 369eec7098..a33b349d9d 100644 --- a/src/buffer.c +++ b/src/buffer.c @@ -5659,6 +5659,9 @@ write_viminfo_bufferlist(FILE *fp) #ifdef FEAT_QUICKFIX || bt_quickfix(buf) #endif +#ifdef FEAT_TERMINAL + || bt_terminal(buf) +#endif || removable(buf->b_ffname)) continue; |