show-eof-icon in drscheme:rep:text%

• (send a-drscheme:rep:text show-eof-icon) -> void

  Shows the eof icon for the input port in this repl. Clicking on the icon calls the submit-eof method.

  See also hide-eof-icon.