1
0
Fork 0
forked from wry/wry

Merge pull request #674 from mahkoh/jorth/show-on-unfullscreen

tree: try to make placeholder visible before unfullscreening
This commit is contained in:
mahkoh 2025-11-29 21:46:39 +01:00 committed by GitHub
commit 17c9be372a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -813,6 +813,7 @@ impl ToplevelData {
return;
}
let parent = fd.placeholder.tl_data().parent.take().unwrap();
parent.clone().cnode_make_visible(&*fd.placeholder);
parent.cnode_replace_child(fd.placeholder.deref(), node.clone());
if node.node_visible() {
let kb_foci = collect_kb_foci(fd.placeholder.clone());