Method WorkspaceGroup

src/modules/ext/workspace_manager.cpp:262–266

// WorkspaceGroup

WorkspaceGroup::WorkspaceGroup(WorkspaceManager& manager, ext_workspace_group_handle_v1* handle,
                               uint32_t id)
    : workspaces_manager_(manager), ext_handle_(handle), id_(id) {
  add_workspace_group_listener(ext_handle_, this);
}

WorkspaceGroup::~WorkspaceGroup() {
  if (ext_handle_ != nullptr) {