3 * Copyright (c) 1992-2001 by Mike Gleason.
8 #if defined(WIN32) || defined(_WINDOWS)
9 # define kHistoryFileName "history.txt"
11 # define kHistoryFileName "history"
15 void GetScreenColumns(void);
16 void InitTermcap(void);
17 void InitReadline(void);
18 void ReCacheBookmarks(void);
19 char *Readline(char *);
20 void AddHistory(char *);
21 void PrintStartupBanner(void);
22 void SetXtermTitle(const char *const fmt
, ...)
23 #if (defined(__GNUC__)) && (__GNUC__ >= 2)
24 __attribute__ ((format (printf
, 1, 2)))
27 void MakePrompt(char *, size_t);
28 void SaveHistory(void);
29 void LoadHistory(void);
30 void InitReadline(void);
31 void DisposeReadline(void);