src/Tools/jEdit/src/rendering.scala

   /* text color */
 
   private lazy val text_colors: Map[String, Color] = Map(
       Markup.KEYWORD1 -> keyword1_color,
       Markup.KEYWORD2 -> keyword2_color,
+      Markup.KEYWORD3 -> keyword3_color,
       Markup.STRING -> Color.BLACK,
       Markup.ALTSTRING -> Color.BLACK,
       Markup.VERBATIM -> Color.BLACK,
       Markup.CARTOUCHE -> Color.BLACK,
       Markup.LITERAL -> keyword1_color,