diff -r 97f390fa0f3a -r bef19c929ba5 src/Tools/jEdit/etc/options
--- a/src/Tools/jEdit/etc/options	Tue Feb 25 18:07:35 2014 +0100
+++ b/src/Tools/jEdit/etc/options	Tue Feb 25 20:15:47 2014 +0100
@@ -86,6 +86,7 @@
 option keyword2_color : string = "009966FF"
 option keyword3_color : string = "0099FFFF"
 option caret_invisible_color : string = "50000080"
+option completion_color : string = "0000FFFF"
 
 option tfree_color : string = "A020F0FF"
 option tvar_color : string = "A020F0FF"