version 1.1.1.1, 2014/07/30 08:16:45
|
version 1.1.1.2, 2021/03/17 01:01:01
|
Line 1
|
Line 1
|
/* history.h -- the names of functions that you can call in history. */ |
/* history.h -- the names of functions that you can call in history. */ |
|
|
/* Copyright (C) 1989-2009 Free Software Foundation, Inc. | /* Copyright (C) 1989-2015 Free Software Foundation, Inc. |
|
|
This file contains the GNU History Library (History), a set of |
This file contains the GNU History Library (History), a set of |
routines for managing the text of previously typed lines. |
routines for managing the text of previously typed lines. |
Line 86 extern void add_history PARAMS((const char *));
|
Line 86 extern void add_history PARAMS((const char *));
|
STRING. */ |
STRING. */ |
extern void add_history_time PARAMS((const char *)); |
extern void add_history_time PARAMS((const char *)); |
|
|
/* A reasonably useless function, only here for completeness. WHICH | /* Remove an entry from the history list. WHICH is the magic number that |
is the magic number that tells us which element to delete. The | tells us which element to delete. The elements are numbered from 0. */ |
elements are numbered from 0. */ | |
extern HIST_ENTRY *remove_history PARAMS((int)); |
extern HIST_ENTRY *remove_history PARAMS((int)); |
|
|
|
/* Remove a set of entries from the history list: FIRST to LAST, inclusive */ |
|
extern HIST_ENTRY **remove_history_range PARAMS((int, int)); |
|
|
|
/* Allocate a history entry consisting of STRING and TIMESTAMP and return |
|
a pointer to it. */ |
|
extern HIST_ENTRY *alloc_history_entry PARAMS((char *, char *)); |
|
|
|
/* Copy the history entry H, but not the (opaque) data pointer */ |
|
extern HIST_ENTRY *copy_history_entry PARAMS((HIST_ENTRY *)); |
|
|
/* Free the history entry H and return any application-specific data |
/* Free the history entry H and return any application-specific data |
associated with it. */ |
associated with it. */ |
extern histdata_t free_history_entry PARAMS((HIST_ENTRY *)); |
extern histdata_t free_history_entry PARAMS((HIST_ENTRY *)); |
Line 241 extern char **history_tokenize PARAMS((const char *));
|
Line 250 extern char **history_tokenize PARAMS((const char *));
|
extern int history_base; |
extern int history_base; |
extern int history_length; |
extern int history_length; |
extern int history_max_entries; |
extern int history_max_entries; |
|
extern int history_offset; |
|
|
|
extern int history_lines_read_from_file; |
|
extern int history_lines_written_to_file; |
|
|
extern char history_expansion_char; |
extern char history_expansion_char; |
extern char history_subst_char; |
extern char history_subst_char; |
extern char *history_word_delimiters; |
extern char *history_word_delimiters; |
extern char history_comment_char; |
extern char history_comment_char; |
extern char *history_no_expand_chars; |
extern char *history_no_expand_chars; |
extern char *history_search_delimiter_chars; |
extern char *history_search_delimiter_chars; |
|
|
extern int history_quotes_inhibit_expansion; |
extern int history_quotes_inhibit_expansion; |
|
extern int history_quoting_state; |
|
|
extern int history_write_timestamps; |
extern int history_write_timestamps; |
|
|
|
/* These two are undocumented; the second is reserved for future use */ |
|
extern int history_multiline_entries; |
|
extern int history_file_version; |
|
|
/* Backwards compatibility */ |
/* Backwards compatibility */ |
extern int max_input_history; |
extern int max_input_history; |