Method

ShellWMcompleted_switch_workspace

Declaration [src]

void
shell_wm_completed_switch_workspace (
  ShellWM* wm
)

Description [src]

The plugin must call this when it has finished switching the workspace.