src/Tools/jEdit/src/document_view.scala

--- a/src/Tools/jEdit/src/document_view.scala	Wed Dec 05 11:34:04 2012 +0100
+++ b/src/Tools/jEdit/src/document_view.scala	Wed Dec 05 12:22:55 2012 +0100
@@ -79,7 +79,7 @@
   def perspective(): Text.Perspective =
   {
     Swing_Thread.require()
-    val buffer_range = model.buffer_range()
+    val buffer_range = JEdit_Lib.buffer_range(model.buffer)
     Text.Perspective(
       for {
         i <- 0 until text_area.getVisibleLines