From dc1d0146be3cd419807fb64d4113d308f68e3894 Mon Sep 17 00:00:00 2001 From: CJ van den Berg Date: Tue, 22 Oct 2024 19:06:34 +0200 Subject: [PATCH] fix: don't show info view panel on empty hover response --- src/tui/mainview.zig | 1 + 1 file changed, 1 insertion(+) diff --git a/src/tui/mainview.zig b/src/tui/mainview.zig index 80f910b..a5c9713 100644 --- a/src/tui/mainview.zig +++ b/src/tui/mainview.zig @@ -770,6 +770,7 @@ fn add_info_content( end_pos: usize, content: []const u8, ) tp.result { + if (content.len == 0) return; if (!self.is_panel_view_showing(info_view)) _ = self.toggle_panel_view(info_view, false) catch |e| return tp.exit_error(e, @errorReturnTrace()); const info = self.get_panel_view(info_view) orelse @panic("info_view missing");