comparison src/toplev.cc @ 1820:c6fdd23c0e79

[project @ 1996-02-01 07:43:12 by jwe]
author jwe
date Thu, 01 Feb 1996 07:43:12 +0000
parents 1881b2a7d1e2
children 8219d9b7cb73
comparison
equal deleted inserted replaced
1819:8b8498bf8ec5 1820:c6fdd23c0e79
107 string info_prog; 107 string info_prog;
108 108
109 // Name of the editor to be invoked by the edit_history command. 109 // Name of the editor to be invoked by the edit_history command.
110 string editor; 110 string editor;
111 111
112 // If nonzero, don't do fancy line editing. 112 // Nonzero means we are using readline.
113 int no_line_editing = 0; 113 // (--no-line-editing)
114 #if defined (USE_READLINE)
115 int using_readline = 1;
116 #else
117 int using_readline = 0;
118 #endif
114 119
115 // If nonzero, print verbose info in some cases. 120 // If nonzero, print verbose info in some cases.
116 // (--verbose; -V) 121 // (--verbose; -V)
117 int verbose_flag = 0; 122 int verbose_flag = 0;
118 123