fix: don't clear_hover_focus in refresh_hover
This causes an endless render loop because the hover status ping pongs. This was probably originally added to avoid dangling widget pointers. We handle that correctly now elsewhere with is_live_widget_ptr.
This commit is contained in:
parent
8cfab31104
commit
120a9f0bf5
1 changed files with 0 additions and 1 deletions
|
|
@ -879,7 +879,6 @@ fn send_hover_msg(widget: *const Widget, hover: bool) tp.result {
|
|||
pub fn refresh_hover(src: std.builtin.SourceLocation) void {
|
||||
const self = current();
|
||||
tp.trace(tp.channel.debug, .{ "tui", "refresh_hover", if (self.hover_focus) |h| @intFromPtr(h) else 0, src.fn_name, src.file, src.line });
|
||||
self.clear_hover_focus(@src()) catch return;
|
||||
_ = self.update_hover(self.last_hover_y, self.last_hover_x) catch {};
|
||||
}
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue