window_closed


Description:

public signal void window_closed (Window window)

Emitted when a window is closed on the screen.

Parameters:

window

the window that has been closed.