src/Tools/jEdit/src/document_view.scala
changeset 50363 2f8dc9e65401
parent 50306 b655d2d0406d
child 50770 82d48783fd7a
     1.1 --- a/src/Tools/jEdit/src/document_view.scala	Wed Dec 05 11:34:04 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/document_view.scala	Wed Dec 05 12:22:55 2012 +0100
     1.3 @@ -79,7 +79,7 @@
     1.4    def perspective(): Text.Perspective =
     1.5    {
     1.6      Swing_Thread.require()
     1.7 -    val buffer_range = model.buffer_range()
     1.8 +    val buffer_range = JEdit_Lib.buffer_range(model.buffer)
     1.9      Text.Perspective(
    1.10        for {
    1.11          i <- 0 until text_area.getVisibleLines