Merge pull request #489 from JakeStanger/fix/workspace-favourites

fix(workspaces): favourites not persisting for initially open workspaces
This commit is contained in:
Jake Stanger 2024-03-10 13:49:52 +00:00 committed by GitHub
commit 662094c0b1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -239,10 +239,11 @@ impl Module<gtk::Box> for WorkspacesModule {
let mut add_favourites = |names: &Vec<String>| {
for name in names {
fav_names.push(name.to_string());
if !added.contains(name) {
add_workspace(name, Visibility::Hidden);
added.insert(name.to_string());
fav_names.push(name.to_string());
}
}
};