API Version: 48
Library Version: 48
Generated by gi-docgen 2026.1
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.