Applied-Software/ghostty
5
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2025-07-16 00:36:07 +03:00
Code Issues Packages Projects Releases Wiki Activity

gtk: allow closing split panes that have been split

Browse Source
This commit is contained in:
Thorsten Ball
2023-10-24 06:45:06 +02:00
committed by Mitchell Hashimoto
parent 5e789bf152
commit be836bc777
1 changed files with 19 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
src/apprt/gtk/Window.zig
View File

@ -302,10 +302,27 @@ pub fn closeSurface(self: *Window, surface: *Surface) void {
tab.removeChild();
tab.setChild(.{ .surface = sibling_surface });
},
.paned => |paned_paned| {
log.info("paned is nested, parent is paned. position={}", .{paned_paned[1]});
.paned => |parent_paned_tuple| {
const parent_paned = parent_paned_tuple[0];
const parent_paned_position = parent_paned_tuple[1];
// Keep position of divider
const parent_paned_position_before = c.gtk_paned_get_position(parent_paned.paned);
parent_paned.removeChildInPosition(parent_paned_position);
switch (parent_paned_position) {
.start => parent_paned.addChild1Surface(sibling_surface),
.end => parent_paned.addChild2Surface(sibling_surface),
}
// Restore position
c.gtk_paned_set_position(parent_paned.paned, parent_paned_position_before);
},
}
const widget = @as(*c.GtkWidget, @ptrCast(sibling_widget));
_ = c.gtk_widget_grab_focus(widget);
},
}
}