feat: add reload_file command

This commit is contained in:
CJ van den Berg 2025-04-09 19:14:02 +02:00
parent 9892e693b0
commit 4aca7063f2
Signed by: neurocyte
GPG key ID: 8EB1E1BB660E3FB9
2 changed files with 10 additions and 0 deletions

View file

@ -1257,6 +1257,11 @@ pub fn reset_to_last_saved(self: *Self) void {
} }
} }
pub fn refresh_from_file(self: *Self) LoadFromFileError!void {
try self.load_from_file_and_update(self.file_path);
self.update_last_used_time();
}
pub fn store_to_string(self: *const Self, allocator: Allocator, eol_mode: EolMode) ![]u8 { pub fn store_to_string(self: *const Self, allocator: Allocator, eol_mode: EolMode) ![]u8 {
var s = try ArrayList(u8).initCapacity(allocator, self.root.weights_sum().len); var s = try ArrayList(u8).initCapacity(allocator, self.root.weights_sum().len);
try self.root.store(s.writer(), eol_mode); try self.root.store(s.writer(), eol_mode);

View file

@ -4610,6 +4610,11 @@ pub const Editor = struct {
} }
pub const open_scratch_buffer_meta: Meta = .{ .arguments = &.{ .string, .string } }; pub const open_scratch_buffer_meta: Meta = .{ .arguments = &.{ .string, .string } };
pub fn reload_file(self: *Self, _: Context) Result {
if (self.buffer) |buffer| try buffer.refresh_from_file();
}
pub const reload_file_meta: Meta = .{ .description = "Reload file" };
pub const SaveOption = enum { default, format, no_format }; pub const SaveOption = enum { default, format, no_format };
pub fn save_file(self: *Self, ctx: Context) Result { pub fn save_file(self: *Self, ctx: Context) Result {