API Version: 47
Library Version: 47
Generated by gi-docgen 2023.3
void ide_workbench_focus_workspace ( IdeWorkbench* self, IdeWorkspace* workspace )
Requests that workspace be raised in the windows of self, and displayed to the user.
workspace
self
Type: IdeWorkspace
IdeWorkspace
An IdeWorkspace.