src/Tools/jEdit/src/rendering.scala
changeset 55747 bef19c929ba5
parent 55746 97f390fa0f3a
child 55749 75a48dc4383e
     1.1 --- a/src/Tools/jEdit/src/rendering.scala	Tue Feb 25 18:07:35 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/rendering.scala	Tue Feb 25 20:15:47 2014 +0100
     1.3 @@ -261,6 +261,7 @@
     1.4    val keyword2_color = color_value("keyword2_color")
     1.5    val keyword3_color = color_value("keyword3_color")
     1.6    val caret_invisible_color = color_value("caret_invisible_color")
     1.7 +  val completion_color = color_value("completion_color")
     1.8  
     1.9    val tfree_color = color_value("tfree_color")
    1.10    val tvar_color = color_value("tvar_color")