workspace_changed


Description:

public signal void workspace_changed ()

Emitted when window is moved to a different worksapce.