API Version: 10
Library Version: 10
void kill_switch_workspace ( MetaPlugin* plugin )
Virtual function called when the workspace-switching effect needs to be killed prematurely.