diff options
| author | Albert Cervin <albert@acervin.com> | 2025-12-04 14:36:58 +0100 |
|---|---|---|
| committer | Albert Cervin <albert@acervin.com> | 2025-12-04 14:36:58 +0100 |
| commit | d25105e976fdeb35dda9144627b57822de84b0ef (patch) | |
| tree | f7fd9af377e42ab594f264c7b27ff8b236e04ec3 /src/dged | |
| parent | 3ed143ba1c1d75c3f9f55844f40385598fd88035 (diff) | |
| download | dged-d25105e976fdeb35dda9144627b57822de84b0ef.tar.gz dged-d25105e976fdeb35dda9144627b57822de84b0ef.tar.xz dged-d25105e976fdeb35dda9144627b57822de84b0ef.zip | |
Add unneccesary save counter
Diffstat (limited to 'src/dged')
| -rw-r--r-- | src/dged/buffer.c | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/dged/buffer.c b/src/dged/buffer.c index b688864..7cc75b0 100644 --- a/src/dged/buffer.c +++ b/src/dged/buffer.c @@ -400,11 +400,20 @@ void buffer_to_file(struct buffer *buffer) { return; } + static size_t unneeded_save_count = 0; if (!buffer->modified) { - minibuffer_echo_timeout(4, "buffer already saved"); + ++unneeded_save_count; + if (unneeded_save_count > 1) { + minibuffer_echo_timeout(4, "buffer already saved (%d times)", + unneeded_save_count); + } else { + minibuffer_echo_timeout(4, "buffer already saved"); + } return; } + unneeded_save_count = 0; + char *fullname = expanduser(buffer->filename); size_t namelen = strlen(fullname); char *backupname = malloc(namelen + 6); |
