src/Tools/jEdit/src/completion_popup.scala

           completion.show_popup(false)
         }
       }
 
       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) =
         {
           opt_rendering match {
             case Some(rendering) =>