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:
http://isabelle.in.tum.de/repos/isabelle/file/Isabelle2016-1/src/Pure/General/completion.scala#l315

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


	Makarius






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