active_window_changed


Description:

public signal void active_window_changed (Window window)

Emitted when a new window becomes the active window.

Often the active window will receive keyboard focus. While window is the previously-active window (if any, and may be null), the newly-active window can be retrieved via get_active_window().

Parameters:

window

the previously-active window.