[det]el_history(+In:stream,
?Action)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.
- getsize(-Integer)
- Unify Integer with the maximum size of the history. Note that
this is not the same as
el_history() using H_GETSIZE,
which returns the number of currently saved events. The number of saved
events may be computed from first and last or
using el_history_events/2.
- setunique(+Boolean)
- Set flag that adjacent identical event strings should not be entered
into the history.
- first(-Num, -String)
- last(-Num, -String)
- curr(-Num, -String)
- prev(-Num, -String)
- next(-Num, -String)
- Retrieve an event. Num is the event number and String
is the event string. Note that
first is the most recent
event and
last the oldest.
- set(Num)
- Set the notion of current to Num.
- prev_str(+Search, -Num, -String)
- next_str(+Search, -Num, -String)
- Retrieve the previous or next event whose String starts with
Search.
- event(+Num, -String)
- True when String represents event Num. This is an
extension to the
history() API, retrieving a numbered event
without changing the current notion.