fix(tabs): refresh hover on tab changes
This commit is contained in:
parent
c7e41afeed
commit
6f5efd2744
1 changed files with 3 additions and 0 deletions
|
@ -156,6 +156,7 @@ const TabBar = struct {
|
||||||
|
|
||||||
fn update_tabs(self: *Self) !void {
|
fn update_tabs(self: *Self) !void {
|
||||||
try self.update_tab_buffers();
|
try self.update_tab_buffers();
|
||||||
|
const prev_widget_count = self.widget_list.widgets.items.len;
|
||||||
while (self.widget_list.pop()) |widget| if (widget.dynamic_cast(Button.State(Tab)) == null)
|
while (self.widget_list.pop()) |widget| if (widget.dynamic_cast(Button.State(Tab)) == null)
|
||||||
widget.deinit(self.widget_list.allocator);
|
widget.deinit(self.widget_list.allocator);
|
||||||
var first = true;
|
var first = true;
|
||||||
|
@ -169,6 +170,8 @@ const TabBar = struct {
|
||||||
if (tab.widget.dynamic_cast(Button.State(Tab))) |btn|
|
if (tab.widget.dynamic_cast(Button.State(Tab))) |btn|
|
||||||
try btn.update_label(Tab.name_from_buffer(tab.buffer));
|
try btn.update_label(Tab.name_from_buffer(tab.buffer));
|
||||||
}
|
}
|
||||||
|
if (prev_widget_count != self.widget_list.widgets.items.len)
|
||||||
|
tui.refresh_hover();
|
||||||
}
|
}
|
||||||
|
|
||||||
fn update_tab_buffers(self: *Self) !void {
|
fn update_tab_buffers(self: *Self) !void {
|
||||||
|
|
Loading…
Add table
Reference in a new issue