src/Tools/jEdit/src/jedit/document_view.scala

       def to_current(pos: Int) = model.to_current(document, pos)
       val metrics = text_area.getPainter.getFontMetrics
       val saved_color = gfx.getColor
       try {
         for ((command, command_start) <-
-          document.command_range(from_current(start), from_current(end)))
+          document.command_range(from_current(start), from_current(end)) if !command.is_ignored)
         {
           val begin = start max to_current(command_start)
           val finish = (end - 1) min to_current(command_start + command.length)
           encolor(gfx, y, metrics.getHeight, begin, finish,
             Document_View.choose_color(document, command), true)

     override def paintComponent(gfx: Graphics)
     {
       super.paintComponent(gfx)
       val buffer = model.buffer
       val document = model.recent_document()
-
-      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(document, command))
-        gfx.fillRect(0, y, getWidth - 1, height)
-      }
+      def to_current(pos: Int) = model.to_current(document, pos)
+      val saved_color = gfx.getColor
+      try {
+        for ((command, start) <- document.command_range(0) if !command.is_ignored) {
+          val line1 = buffer.getLineOfOffset(to_current(start))
+          val line2 = buffer.getLineOfOffset(to_current(start + command.length)) + 1
+          val y = line_to_y(line1)
+          val height = HEIGHT * (line2 - line1)
+          gfx.setColor(Document_View.choose_color(document, command))
+          gfx.fillRect(0, y, getWidth - 1, height)
+        }
+      }
+      finally { gfx.setColor(saved_color) }
     }
 
     private def line_to_y(line: Int): Int =
       (line * getHeight) / (text_area.getBuffer.getLineCount max text_area.getVisibleLines)