autocommit 2022-04-12 17:26:33 CEST
This commit is contained in:
parent
d9d1addbf5
commit
8924936079
26 changed files with 896 additions and 543 deletions
|
|
@ -1229,7 +1229,7 @@ impl Wm {
|
|||
let or = or != 0;
|
||||
if data.info.override_redirect.replace(or) != or {
|
||||
if let Some(window) = data.window.get() {
|
||||
window.destroy_node(true);
|
||||
window.node_destroy(true);
|
||||
window.map_status_changed();
|
||||
}
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue