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