From 48fc8a968ced224a3434e0a3e90e39370f926a0a Mon Sep 17 00:00:00 2001 From: CJ van den Berg Date: Tue, 9 Apr 2024 22:32:46 +0200 Subject: [PATCH] fix: store jump location source before navigating to another file --- src/tui/editor.zig | 2 +- src/tui/mainview.zig | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/tui/editor.zig b/src/tui/editor.zig index ccdd0bc..335217a 100644 --- a/src/tui/editor.zig +++ b/src/tui/editor.zig @@ -1047,7 +1047,7 @@ pub const Editor = struct { try self.send_editor_cursel_msg("modified", self.get_primary()); } - fn send_editor_jump_source(self: *Self) !void { + pub fn send_editor_jump_source(self: *Self) !void { try self.send_editor_cursel_msg("jump_source", self.get_primary()); } diff --git a/src/tui/mainview.zig b/src/tui/mainview.zig index 63e5084..a3e79c8 100644 --- a/src/tui/mainview.zig +++ b/src/tui/mainview.zig @@ -199,6 +199,7 @@ const cmds = struct { else false else false; if (!same_file) { + if (self.editor) |editor| editor.send_editor_jump_source() catch {}; try self.create_editor(); try command.executeName("open_file", command.fmt(.{f})); }