[isabelle] Isabelle2016-1-RC1: How to Disable completion popup for quotes?
- To: isabelle-users <isabelle-users at cl.cam.ac.uk>
- Subject: [isabelle] Isabelle2016-1-RC1: How to Disable completion popup for quotes?
- From: Andreas Lochbihler <andreas.lochbihler at inf.ethz.ch>
- Date: Fri, 4 Nov 2016 14:15:36 +0100
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0
I find the completion popups for " extremely annoying in Isabelle2016-1-RC1. Especially as
these popups capture the cursor up and down keys such that I have to press ESC before I
can use them after I have typed a ". How can I disable completion for this character? (I
do like the immediate completion popups for other character sequences like ==, so I don't
want to disable completion as a whole).
This archive was generated by a fusion of
Pipermail (Mailman edition) and