/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_history(+In:stream, ?Action) is det
Perform a generic action on the history. This provides an incomplete interface to history() from libedit. Supported actions are:
clear
Clear the history.
setsize(+Integer)
Set size of history to size elements.
setunique(+Boolean)
Set flag that adjacent identical event strings should not be entered into the history.