diff options
author | pommicket <pommicket@gmail.com> | 2023-08-13 22:19:21 -0300 |
---|---|---|
committer | pommicket <pommicket@gmail.com> | 2023-08-13 22:19:21 -0300 |
commit | 79af91046d6c9f8ddca52dee1cb72181168c0f73 (patch) | |
tree | 82b70ee555d20fc6036a7f97bf94f3853130d64a /buffer.c | |
parent | 74c32a957d8533f746c960e8f726670e3d6b1baf (diff) |
fix ask-reload menu
Diffstat (limited to 'buffer.c')
-rw-r--r-- | buffer.c | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -206,6 +206,12 @@ double buffer_last_write_time(TextBuffer *buffer) { return buffer->last_write_time; } +void buffer_ignore_changes_on_disk(TextBuffer *buffer) { + buffer->last_write_time = timespec_to_seconds(time_last_modified(buffer->path)); + // no matter what, buffer_unsaved_changes should return true + buffer->undo_history_write_pos = U32_MAX; +} + BufferPos buffer_cursor_pos(TextBuffer *buffer) { return buffer->cursor_pos; } |