src/Tools/jEdit/etc/options

 option bad_color : string = "FF6A6A64"
 option intensify_color : string = "FFCC6664"
 option quoted_color : string = "8B8B8B19"
 option highlight_color : string = "50505032"
 option hyperlink_color : string = "000000FF"
+option sendback_color : string = "DCDCDCFF"
+option sendback_active_color : string = "9DC75DFF"
 option keyword1_color : string = "006699FF"
 option keyword2_color : string = "009966FF"
 
 option tfree_color : string = "A020F0FF"
 option tvar_color : string = "A020F0FF"