mirror of
https://github.com/ghostty-org/ghostty.git
synced 2026-01-06 21:37:49 +00:00
gtk: fix warning when replacing children of Paned
This commit is contained in:
committed by
Mitchell Hashimoto
parent
d88c29377b
commit
adba77c3f9
@@ -152,6 +152,10 @@ pub fn replaceChildInPosition(self: *Paned, child: Child, position: Position) vo
|
||||
// Keep position of divider
|
||||
const parent_paned_position_before = c.gtk_paned_get_position(self.paned);
|
||||
|
||||
// Focus on the sibling, otherwise we'll get a GTK warning
|
||||
self.focusSurfaceInPosition(if (position == .start) .end else .start);
|
||||
|
||||
// Now we can remove the other one
|
||||
self.removeChildInPosition(position);
|
||||
|
||||
switch (position) {
|
||||
|
||||
Reference in New Issue
Block a user