src/Tools/jEdit/etc/options

 option active_hover_color : string = "9DC75DFF"
 option active_result_color : string = "999966FF"
 option keyword1_color : string = "006699FF"
 option keyword2_color : string = "009966FF"
 option keyword3_color : string = "0099FFFF"
-option caret_invisible_color : string = "99999980"
+option caret_invisible_color : string = "50000080"
 
 option tfree_color : string = "A020F0FF"
 option tvar_color : string = "A020F0FF"
 option free_color : string = "0000FFFF"
 option skolem_color : string = "D2691EFF"