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

  • libedit
    • editline.pl -- BSD libedit based command line editing
      • history/2
      • 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_get/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
 el_get(+Input:stream, ?Property) is semidet
Interface to el_get(). Currently supported Property terms:
editor(-Editor)
Editor is unified with emacs or vi, reflecting the current keymap selected via el_bind/2 with -e / -v.
bracketed_paste(-Boolean)
Whether bracketed paste mode is currently enabled; see el_set/2.

Any other Property raises a domain_error(editline_property, _).