src/Tools/jEdit/etc/options

--- a/src/Tools/jEdit/etc/options	Tue May 06 17:47:03 2014 +0200
+++ b/src/Tools/jEdit/etc/options	Tue May 06 21:29:17 2014 +0200
@@ -105,6 +105,7 @@
 option operator_color : string = "323232FF"
 option caret_invisible_color : string = "50000080"
 option completion_color : string = "0000FFFF"
+option search_color : string = "66FFFF64"
 
 option tfree_color : string = "A020F0FF"
 option tvar_color : string = "A020F0FF"