diff -r 81d0410dc3ac -r aa9e22d9f9a7 src/Tools/jEdit/src/jedit/document_view.scala
--- a/src/Tools/jEdit/src/jedit/document_view.scala	Sun Jan 10 20:14:21 2010 +0100
+++ b/src/Tools/jEdit/src/jedit/document_view.scala	Sun Jan 10 20:38:23 2010 +0100
@@ -263,9 +263,9 @@
       super.paintComponent(gfx)
       val buffer = model.buffer
 
-      for (command <- document.commands) {
-        val line1 = buffer.getLineOfOffset(model.to_current(document, command.start(document)))
-        val line2 = buffer.getLineOfOffset(model.to_current(document, command.stop(document))) + 1
+      for ((command, start) <- document.command_range(0)) {
+        val line1 = buffer.getLineOfOffset(model.to_current(document, start))
+        val line2 = buffer.getLineOfOffset(model.to_current(document, start + command.length)) + 1
         val y = line_to_y(line1)
         val height = HEIGHT * (line2 - line1)
         gfx.setColor(Document_View.choose_color(command, document))