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