Re: [isabelle] Tuning opportunity for auto-completion in Isabelle/Jedit
> This is because the completion_limit (default 40) truncates this rather long
> list of names with the popular prefix "ex".
Thanks, that makes sense.
> Instead of increasing the limit, which would make the dialog harder to use,
> the usual way is to provide a longer prefix to complete. Giving "ext" does
> not work, though, because it is already complete, and thus suppressed in the
Is it possible to disable this suppression of exact matches without having
to append an underscore? I think I would prefer that behavior.
This archive was generated by a fusion of
Pipermail (Mailman edition) and