| 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