/usr/lib/swipl/library/ext/libedit/editline.pl
All Application Manual Name SummaryHelp

  • libedit
    • editline.pl -- BSD libedit based command line editing
      • el_wrap/0
      • el_wrap/1
      • el_wrap/4
      • el_wrap/5
      • el_setup/1
      • el_wrapped/1
      • el_unwrap/1
      • el_source/2
      • el_bind/2
      • el_addfn/4
      • el_set/2
      • el_line/2
      • el_cursor/2
      • el_insertstr/2
      • el_deletestr/2
      • el_history/2
      • el_history_events/2
      • el_add_history/2
      • el_read_history/2
      • el_write_history/2
      • el_version/1
      • history/2
 el_wrap is det
 el_wrap(+Options) is det
Enable using editline on the standard user streams if user_input is connected to a terminal. This is the high level predicate used for most purposes. The remainder of the library interface deals with low level predicates that allows for applying and programming libedit in non-standard situations.

The library is registered with ProgName set to swipl (see el_wrap/4).

Options processed:

pipes(+Boolean)
Used by Epilog windows to indicate we are reading from a Windows named pipe in overlapped mode. Ignored on other platforms.
history(+Size)
Size of the history. Default is defined by the Prolog flag history or 100 if this flag is not defined.
alert_signo(+Integer)
Signal used for making thread_signal/2 work while the thread is in a blocking system call.