Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/completion_popup.scala
changeset 56842 b6e266574b26
parent 56841 bc6faeadbf82
child 56843 b2bfcd8cda80 
--- a/src/Tools/jEdit/src/completion_popup.scala	Sat May 03 20:20:55 2014 +0200
+++ b/src/Tools/jEdit/src/completion_popup.scala	Sat May 03 20:31:29 2014 +0200
@@ -154,6 +154,7 @@
           val context =
             (for {
               rendering <- opt_rendering
+              if PIDE.options.bool("jedit_completion_context")
               range = JEdit_Lib.before_caret_range(text_area, rendering)
               context <- rendering.language_context(range)
             } yield context) getOrElse syntax.language_context
isabelle