API Version: 14
Library Version: 14
Generated by gi-docgen 2023.3
void shell_wm_completed_switch_workspace ( ShellWM* wm )
The plugin must call this when it has finished switching the workspace.