[isabelle-dev] NEWS: Improved completion mechanism
c.sternagel at gmail.com
Fri Sep 6 04:04:20 CEST 2013
On 09/04/2013 02:24 AM, Makarius wrote:
> On Tue, 3 Sep 2013, Christian Sternagel wrote:
>> Just for the record: the above mentioned hand also sometimes happens
>> when typing V ... E ... R ... Y ... slowly ;). It is just more
>> frequent when typing faster (mainly because a hang only ever happens
>> directly after having pressed a key).
> OK, a few more hints what can be done right now.
> For practical use, you can try with the Isabelle/Scala option
> jedit_completion = false (via Plugin Options / Completion / Completion).
> This means there won't be any automatic popup or immdediate replacement
> anymore, just explicit C+b completion.
Just to be sure, did you mean "Plugins / Plugin Options / Isabelle /
General / Completion / Completion"? Furthermore, I still have "Plugins /
Plugin Options / Sidekick / General / Code Completion Options" is that okay?
More information about the isabelle-dev