eof


Description:

public virtual signal void eof ()

Emitted when the terminal receives an end-of-file from a child which is running in the terminal.

This signal is frequently (but not always) emitted with a child_exited signal.