From 453fb12055e910669686bc7420e3139cd941c208 Mon Sep 17 00:00:00 2001
From: CJ van den Berg <cj@vdbonline.com>
Date: Mon, 20 May 2024 19:18:03 +0200
Subject: [PATCH] fix: add missing need_render() calls for commands that are
 not directly input triggered

---
 src/tui/editor.zig | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/tui/editor.zig b/src/tui/editor.zig
index 59f8078..4db85b8 100644
--- a/src/tui/editor.zig
+++ b/src/tui/editor.zig
@@ -3371,6 +3371,7 @@ pub const Editor = struct {
         else
             try self.scroll_view_center(.{});
         try self.send_editor_jump_destination();
+        self.need_render();
     }
 
     pub fn goto_definition(self: *Self, _: command.Context) tp.result {
@@ -3391,6 +3392,7 @@ pub const Editor = struct {
         self.diag_info = 0;
         self.diag_hints = 0;
         self.send_editor_diagnostics() catch {};
+        self.need_render();
     }
 
     pub fn add_diagnostic(self: *Self, ctx: command.Context) tp.result {
@@ -3430,6 +3432,7 @@ pub const Editor = struct {
         }
         self.send_editor_diagnostics() catch {};
         // self.logger.print("diag: {d} {d} {d}:{d} {s}", .{ self.diagnostics.items.len, severity, sel.begin.row, sel.begin.col, message });
+        self.need_render();
     }
 
     pub fn select(self: *Self, ctx: command.Context) tp.result {