Merge pull request #235 from pop-os/fix-move-workspace_jammy

fix: reset name and state for workspaces after moving them to a new group
This commit is contained in:
Jeremy Soller 2023-11-27 12:29:01 -07:00 committed by GitHub
commit f9dc67a24a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -587,9 +587,13 @@ impl Workspaces {
);
}
set.workspaces.extend(moved_workspaces);
for workspace in &mut set.workspaces {
for (i, workspace) in set.workspaces.iter_mut().enumerate() {
workspace.set_output(output, toplevel_info_state);
workspace.refresh(xdg_activation_state);
workspace_set_idx(workspace_state, i as u8 + 1, set.idx, &workspace.handle);
if i == set.active {
workspace_state.add_workspace_state(&workspace.handle, WState::Active);
}
}
}
}