src/Tools/jEdit/src/document_view.scala
changeset 44776 47e8c8daccae
parent 44615 a4ff8a787202
child 44805 48a5c104d434
     1.1 --- a/src/Tools/jEdit/src/document_view.scala	Wed Sep 07 11:00:39 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/document_view.scala	Wed Sep 07 11:17:19 2011 +0200
     1.3 @@ -118,7 +118,7 @@
     1.4    def perspective(): Text.Perspective =
     1.5    {
     1.6      Swing_Thread.require()
     1.7 -    val buffer_range = Text.Range(0, (model.buffer.getLength - 1) max 0)
     1.8 +    val buffer_range = model.buffer_range()
     1.9      Text.Perspective(
    1.10        for {
    1.11          i <- 0 until text_area.getVisibleLines