src/Tools/jEdit/src/debugger_dockable.scala

--- a/src/Tools/jEdit/src/debugger_dockable.scala	Wed Jan 11 22:30:11 2017 +0100
+++ b/src/Tools/jEdit/src/debugger_dockable.scala	Thu Jan 12 11:17:05 2017 +0100
@@ -42,7 +42,7 @@
   {
     GUI_Thread.require {}
 
-    PIDE.document_view(text_area) match {
+    Document_View.get(text_area) match {
       case Some(doc_view) =>
         val rendering = doc_view.get_rendering()
         val range = JEdit_Lib.point_range(text_area.getBuffer, offset)