On Thursday, May 17, 2018 at 9:20:33 PM UTC+2, Matt Wilkie wrote:
>
> I have just published first two articles about what I have done so far in
>> this mini-project. Here are the links:
>>
> [...]
>
>> All comments are welcome.
>>
>
> Vitalije, I'm working my through your posts on that site
When True, this setting automagically completes the selection to the
greatest common prefix of all possible completions. In particular, when
only one completion remains there is nothing left to do.
Rev dd3ceaf39 deprecates this setting by changing the default value to
True. If you prefer