diff options
Diffstat (limited to 'default-plugins/session-manager/src/session_list.rs')
-rw-r--r-- | default-plugins/session-manager/src/session_list.rs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/default-plugins/session-manager/src/session_list.rs b/default-plugins/session-manager/src/session_list.rs index fa63571e8..01c75ad55 100644 --- a/default-plugins/session-manager/src/session_list.rs +++ b/default-plugins/session-manager/src/session_list.rs @@ -323,6 +323,18 @@ impl SessionList { .find(|s| s.name == old_name) .map(|s| s.name = new_name.to_owned()); } + pub fn all_other_sessions(&self) -> Vec<String> { + self.session_ui_infos + .iter() + .filter_map(|s| { + if !s.is_current_session { + Some(s.name.clone()) + } else { + None + } + }) + .collect() + } } #[derive(Debug, Clone, Default)] |