/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_events(+In:stream, -Events:list(pair)) is det
Unify Events with a list of pairs of the form Num-String, where Num is the event number and String is the associated string without terminating newline.