|Bill Allombert on Mon, 18 Jan 2016 18:01:37 +0100|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|Re: Move readline interface to libpari|
On Mon, Jan 18, 2016 at 04:49:44PM +0100, Jeroen Demeyer wrote: > OK, see attachment then. Thanks, it is much better now. +/* gplib.c */ + +extern const char *keyword_list; + If this really need to be a public symbol then we will have to rename it, but i think we can fold it inside ok_external_help(). +/* readline */ +typedef char* (*readline_GF)(const char*, int); /* generator function */ We can probably dispense with the typedef readline_GF. Cheers, Bill.