src/Tools/jEdit/src/rendering.scala

   val active_result_color = color_value("active_result_color")
   val keyword1_color = color_value("keyword1_color")
   val keyword2_color = color_value("keyword2_color")
   val keyword3_color = color_value("keyword3_color")
   val caret_invisible_color = color_value("caret_invisible_color")
+  val completion_color = color_value("completion_color")
 
   val tfree_color = color_value("tfree_color")
   val tvar_color = color_value("tvar_color")
   val free_color = color_value("free_color")
   val skolem_color = color_value("skolem_color")