From 4848f2494ff0c9571d95b060c7edbadd071b28d6 Mon Sep 17 00:00:00 2001 From: CJ van den Berg Date: Fri, 24 Jan 2025 23:24:14 +0100 Subject: [PATCH] fix(tabs): don't propagate hover events in WidgetList --- src/tui/WidgetList.zig | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/tui/WidgetList.zig b/src/tui/WidgetList.zig index 9785dc4..3e8d546 100644 --- a/src/tui/WidgetList.zig +++ b/src/tui/WidgetList.zig @@ -156,6 +156,9 @@ pub fn render(self: *Self, theme: *const Widget.Theme) bool { fn on_render_default(_: ?*anyopaque, _: *const Widget.Theme) void {} pub fn receive(self: *Self, from_: tp.pid_ref, m: tp.message) error{Exit}!bool { + if (try m.match(.{ "H", tp.more })) + return false; + for (self.widgets.items) |*w| if (try w.widget.send(from_, m)) return true;