Re: [isabelle] Tuning opportunity for auto-completion in Isabelle/Jedit

Dear Makarius,
> 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
> result.

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 MHonArc.