src/Tools/jEdit/src/rich_text_area.scala

       robust_rendering { rendering =>
         val fm = text_area.getPainter.getFontMetrics
 
         for (i <- 0 until physical_lines.length) {
           if (physical_lines(i) != -1) {
-            val line_range = Text.Range(start(i), end(i))
+            val line_range = Text.Range(start(i), end(i) min buffer.getLength)
 
             // line background color
             for { (color, separator) <- rendering.line_background(line_range) }
             {
               gfx.setColor(color)

         }
 
         for (i <- 0 until physical_lines.length) {
           val line = physical_lines(i)
           if (line != -1) {
-            val line_range = Text.Range(start(i), end(i))
+            val line_range = Text.Range(start(i), end(i) min buffer.getLength)
 
             // bullet bar
             for {
               Text.Info(range, color) <- rendering.bullet(line_range)
               r <- JEdit_Lib.gfx_range(text_area, range)

     {
       robust_rendering { rendering =>
         val search_pattern = get_search_pattern()
         for (i <- 0 until physical_lines.length) {
           if (physical_lines(i) != -1) {
-            val line_range = Text.Range(start(i), end(i))
+            val line_range = Text.Range(start(i), end(i) min buffer.getLength)
 
             // foreground color
             for {
               Text.Info(range, color) <- rendering.foreground(line_range)
               r <- JEdit_Lib.gfx_range(text_area, range)