window_manager_changed


Description:

public virtual signal void window_manager_changed ()

Emitted when the window manager on screen has changed.