src/Tools/jEdit/src/pretty_text_area.scala

     if (current_search_pattern != pattern) {
       current_search_pattern = pattern
       text_area.getPainter.repaint()
     }
     text_field.setForeground(
-      if (ok) search_field_foreground else current_rendering.error_color)
+      if (ok) search_field_foreground
+      else current_rendering.color(Rendering.Color.error))
   }
 
 
   /* key handling */