window_manager_changed


Description:

public signal void window_manager_changed ()

Emitted when the window manager on screen has changed.

Note that currently this signal is not emitted on Wayland.