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 64882 c3b42ac0cf81
parent 64621 7116f2634e32
child 65139 0a2c0712e432 
--- a/src/Tools/jEdit/src/completion_popup.scala	Wed Jan 11 22:30:11 2017 +0100
+++ b/src/Tools/jEdit/src/completion_popup.scala	Thu Jan 12 11:17:05 2017 +0100
@@ -350,7 +350,7 @@
       }
 
       if (buffer.isEditable) {
-        val opt_rendering = PIDE.document_view(text_area).map(_.get_rendering())
+        val opt_rendering = Document_View.get(text_area).map(_.get_rendering())
         val result0 = syntax_completion(history, explicit, opt_rendering)
         val (no_completion, semantic_completion) =
         {
isabelle