window_manager_changed


Description:

public signal void window_manager_changed ()