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.
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.