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

apprt/gtk: alternate approach to setting pane children

Browse Source
This commit is contained in:
Mitchell Hashimoto
2023-11-02 11:07:12 -07:00
parent 17445a7d87
commit cdd76a3b0b
1 changed files with 6 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/apprt/gtk/Split.zig
View File

@ -204,17 +204,12 @@ pub fn replace(
const pos = c.gtk_paned_get_position(self.paned); const pos = c.gtk_paned_get_position(self.paned);
defer c.gtk_paned_set_position(self.paned, pos); defer c.gtk_paned_set_position(self.paned, pos);
if (ptr == &self.top_left) { // We have to set both to null. If we overwrite the pane with
c.gtk_paned_set_start_child( // the same value, then GTK bugs out (the GL area unrealizes
@ptrCast(self.paned), // and never rerealizes).
self.top_left.widget(), c.gtk_paned_set_start_child(@ptrCast(self.paned), null);
); c.gtk_paned_set_end_child(@ptrCast(self.paned), null);
} else { self.updateChildren();
c.gtk_paned_set_end_child(
@ptrCast(self.paned),
self.bottom_right.widget(),
);
}
} }
/// Update the paned children to represent the current state. /// Update the paned children to represent the current state.