Ilya Zakharevich on Sat, 18 Apr 1998 06:04:43 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Readline completion in GP


I found that the new version of GP is feature-deenhanced wrt the old
one.  The old one would insert

      rnfconductor(bnf,polrel)

if `rnfco' was being TAB-expanded.  The new one will insert

      rnfconductor(

(with a trailing SPACE).  The old behaviour had advantages of having
parenths balanced, inserting needed number of commas, and providing an
immediate heuristic for the arguments.

Was there a lot of opposition to the previous behaviour?

(Note that to remove the trailing SPACE one should set 

      rl_completion_append_character = '(';

instead of appending '(' - only if the point is at end-of-line.)

Ilya