Re: [isabelle] Disabling autocomplete dropdown for " (double quote)

On 04/04/17 18:56, Rafal Kolanski wrote:
> Is it possible to turn off cartouche autocompletion for double quotes?
> I'm willing to modify anything and perform surgery on the Isabelle jEdit
> plugin if someone can point me to where this originates from, because
> I'm struggling to find it.

See these hard-wired default_abbrevs:

You need to rebuild Isabelle/jEdit from the repository after changing
the Scala source.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.