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