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