/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/4
      • el_setup/1
      • el_wrapped/1
      • el_unwrap/1
      • el_source/2
      • el_bind/2
      • el_addfn/4
      • 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_wrap(+ProgName:atom, +In:stream, +Out:stream, +Error:stream) is det
Enable editline on the stream-triple <In,Out,Error>. From this moment on In is a handle to the command line editor.
Arguments:
ProgName- is the name of the invoking program, used when reading the editrc(5) file to determine which settings to use.