leave


Description:

public signal void leave ()

Signals that the pointer has left the widget.