Compare commits

...

3 commits

2 changed files with 47 additions and 28 deletions

View file

@ -1739,6 +1739,7 @@ fn add_and_activate_view(self: *Self, widget: Widget) !void {
try self.views.add(widget);
self.active_view = self.views.widgets.items.len - 1;
if (self.views.get_at(self.active_view)) |view| view.focus();
_ = try self.widgets_widget.msg(.{"splits_updated"});
}
pub fn find_view_for_widget(self: *Self, w_: *const Widget) ?usize {
@ -1792,7 +1793,7 @@ fn remove_view(self: *Self, view: usize) void {
const buffers = self.buffer_manager.list_unordered(self.allocator) catch @panic("OOM remove_view");
defer self.allocator.free(buffers);
for (buffers) |buffer| if (buffer.get_last_view()) |buffer_view|
if (buffer_view >= view)
if (buffer_view > view)
buffer.set_last_view(buffer_view - 1);
}
@ -1864,7 +1865,6 @@ fn create_home(self: *Self) !void {
pub fn create_home_split(self: *Self) !void {
tui.reset_drag_context();
try self.add_and_activate_view(try home.create(self.allocator, Widget.to(self)));
_ = try self.widgets_widget.msg(.{"splits_updated"});
tui.resize();
}

View file

@ -202,6 +202,7 @@ pub const TabBar = struct {
} else if (try m.match(.{ "E", "close" })) {
self.refresh_active_buffer();
} else if (try m.match(.{"splits_updated"})) {
self.refresh_active_buffer();
const drag_source, _ = tui.get_drag_source();
self.update_tab_widgets(drag_source) catch {};
}
@ -280,6 +281,7 @@ pub const TabBar = struct {
const mv = tui.mainview() orelse @panic("tabs no main view");
const buffer_manager = tui.get_buffer_manager() orelse @panic("tabs no buffer manager");
var prev_widget_count: usize = 0;
for (self.widget_list.widgets.items) |*split_widgetstate| if (split_widgetstate.widget.dynamic_cast(WidgetList)) |split| {
prev_widget_count += 1;
for (split.widgets.items) |_| prev_widget_count += 1;
@ -295,6 +297,10 @@ pub const TabBar = struct {
split.deinit(self.widget_list.allocator);
};
for (self.tabs) |*tab| if (buffer_manager.buffer_from_ref(tab.buffer_ref)) |buffer| {
tab.view = buffer.get_last_view() orelse 0;
};
const views = mv.get_view_count();
var widget_count: usize = 0;
@ -399,11 +405,11 @@ pub const TabBar = struct {
return drop_target.create(self, view);
}
fn find_buffer_tab(self: *Self, buffer_ref: Buffer.Ref) ?usize {
fn find_buffer_tab(self: *Self, buffer_ref: Buffer.Ref) struct { ?usize, usize } {
for (self.tabs, 0..) |*tab, idx|
if (tab.widget.dynamic_cast(Tab.ButtonType)) |btn|
if (btn.opts.ctx.buffer_ref == buffer_ref) return idx;
return null;
if (btn.opts.ctx.buffer_ref == buffer_ref) return .{ idx, btn.opts.ctx.view };
return .{ null, 0 };
}
fn find_first_tab_buffer(self: *Self) ?Buffer.Ref {
@ -422,55 +428,65 @@ pub const TabBar = struct {
return last;
}
fn find_next_tab_buffer(self: *Self) ?Buffer.Ref {
fn find_next_tab_buffer(self: *Self) struct { ?Buffer.Ref, usize } {
var found_active: bool = false;
for (self.widget_list.widgets.items) |*split_widget| if (split_widget.widget.dynamic_cast(WidgetList)) |split|
for (split.widgets.items) |*widget_state| if (widget_state.widget.dynamic_cast(Tab.ButtonType)) |btn| {
if (found_active)
return btn.opts.ctx.buffer_ref;
return .{ btn.opts.ctx.buffer_ref, btn.opts.ctx.view };
if (btn.opts.ctx.buffer_ref == self.active_focused_buffer_ref)
found_active = true;
};
return null;
return .{ null, 0 };
}
fn find_previous_tab_buffer(self: *Self) ?Buffer.Ref {
fn find_previous_tab_buffer(self: *Self) struct { ?Buffer.Ref, usize } {
var previous: ?Buffer.Ref = null;
var previous_view: usize = 0;
for (self.widget_list.widgets.items) |*split_widget| if (split_widget.widget.dynamic_cast(WidgetList)) |split|
for (split.widgets.items) |*widget_state| if (widget_state.widget.dynamic_cast(Tab.ButtonType)) |btn| {
if (btn.opts.ctx.buffer_ref == self.active_focused_buffer_ref)
return previous;
return .{ previous, previous_view };
previous = btn.opts.ctx.buffer_ref;
previous_view = btn.opts.ctx.view;
};
return null;
return .{ null, 0 };
}
fn select_next_tab(self: *Self) void {
tp.trace(tp.channel.debug, .{"select_next_tab"});
const buffer_ref = self.find_next_tab_buffer() orelse self.find_first_tab_buffer() orelse return;
navigate_to_buffer(buffer_ref);
const buffer_ref, _ = self.find_next_tab_buffer();
if (buffer_ref) |ref| return navigate_to_buffer(ref);
if (self.find_first_tab_buffer()) |ref| return navigate_to_buffer(ref);
}
fn select_previous_tab(self: *Self) void {
tp.trace(tp.channel.debug, .{"select_previous_tab"});
const buffer_ref = self.find_previous_tab_buffer() orelse self.find_last_tab_buffer() orelse return;
navigate_to_buffer(buffer_ref);
const buffer_ref, _ = self.find_previous_tab_buffer();
if (buffer_ref) |ref| return navigate_to_buffer(ref);
if (self.find_last_tab_buffer()) |ref| return navigate_to_buffer(ref);
}
fn move_tab_next(self: *Self) void {
tp.trace(tp.channel.debug, .{"move_tab_next"});
const this_idx = self.find_buffer_tab(self.active_focused_buffer_ref orelse return) orelse return;
const other_buffer_ref = self.find_next_tab_buffer() orelse return self.move_tab_to_new_split(this_idx);
const other_idx = self.find_buffer_tab(other_buffer_ref) orelse return;
self.move_tab_to(other_idx, this_idx);
const this_idx_, const this_view = self.find_buffer_tab(self.active_focused_buffer_ref orelse return);
const this_idx = this_idx_ orelse return;
const other_buffer_ref_, const other_view = self.find_next_tab_buffer();
const other_buffer_ref = other_buffer_ref_ orelse return self.move_tab_to_new_split(this_idx, this_view);
if (other_view -| this_view > 1) return self.move_tab_to_view(this_view + 1, this_idx);
const other_idx, _ = self.find_buffer_tab(other_buffer_ref);
if (other_idx) |idx| self.move_tab_to(idx, this_idx);
}
fn move_tab_previous(self: *Self) void {
tp.trace(tp.channel.debug, .{"move_tab_previous"});
const this_idx = self.find_buffer_tab(self.active_focused_buffer_ref orelse return) orelse return;
const other_buffer_ref = self.find_previous_tab_buffer() orelse return;
const other_idx = self.find_buffer_tab(other_buffer_ref) orelse return;
self.move_tab_to(other_idx, this_idx);
const this_idx_, const this_view = self.find_buffer_tab(self.active_focused_buffer_ref orelse return);
const this_idx = this_idx_ orelse return;
const other_buffer_ref_, const other_view = self.find_previous_tab_buffer();
const other_buffer_ref = other_buffer_ref_ orelse return;
if (this_view -| other_view > 1) return self.move_tab_to_view(this_view -| 1, this_idx);
const other_idx, _ = self.find_buffer_tab(other_buffer_ref);
if (other_idx) |idx| self.move_tab_to(idx, this_idx);
}
fn move_tab_to(self: *Self, dst_idx: usize, src_idx: usize) void {
@ -541,20 +557,23 @@ pub const TabBar = struct {
navigate_to_buffer(src_tab.buffer_ref);
}
fn move_tab_to_new_split(self: *Self, src_idx: usize) void {
fn move_tab_to_new_split(self: *Self, src_idx: usize, src_view: usize) void {
const mv = tui.mainview() orelse return;
const src_tab = &self.tabs[src_idx];
var tabs_in_view: usize = 0;
for (self.tabs) |*tab| if (tab.view) |view| {
if (view == src_tab.view)
if (view == src_view)
tabs_in_view += 1;
};
if (tabs_in_view > 1) {
const view = mv.get_view_count();
if (view -| src_view > 1) {
self.move_tab_to_view(src_view + 1, src_idx);
} else {
mv.create_home_split() catch return;
self.move_tab_to_view(view, src_idx);
}
}
}
fn place_next_tab(self: *Self, position: enum { before, after }, buffer_ref: Buffer.Ref) void {
tp.trace(tp.channel.debug, .{ "place_next_tab", position, buffer_ref });