leave_monitor

Description:

public signal void leave_monitor (Monitor monitor)

Emitted when surface stops being present on the monitor.

Parameters:

monitor

the monitor