On Fri, 6 Sep 2013, Christian Sternagel wrote:
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?
The first one. You can ignore Sidekick completion -- it is no longer used
specifically for Isabelle/jEdit -- it might get used by other plugins,
though.
Technically all these options are managed by Isabelle/Scala, see also the
"isabelle options" tool. User preferences are stored in
$ISABELLE_HOME_USER/etc/preferences. This is occasionally good to know to
keep an overview in the jungle of GUI panels.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
