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