summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAlbert Cervin <albert@acervin.com>2025-12-04 14:36:58 +0100
committerAlbert Cervin <albert@acervin.com>2025-12-04 14:36:58 +0100
commitd25105e976fdeb35dda9144627b57822de84b0ef (patch)
treef7fd9af377e42ab594f264c7b27ff8b236e04ec3 /src
parent3ed143ba1c1d75c3f9f55844f40385598fd88035 (diff)
downloaddged-d25105e976fdeb35dda9144627b57822de84b0ef.tar.gz
dged-d25105e976fdeb35dda9144627b57822de84b0ef.tar.xz
dged-d25105e976fdeb35dda9144627b57822de84b0ef.zip
Add unneccesary save counter
Diffstat (limited to 'src')
-rw-r--r--src/dged/buffer.c11
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);