src/Tools/jEdit/etc/options

 option error_message_color : string = "FFC1C1FF"
 option bad_color : string = "FF6A6A64"
 option intensify_color : string = "FFCC6664"
 option quoted_color : string = "8B8B8B19"
 option antiquoted_color : string = "FFC83219"
+option antiquote_color : string = "6600CCFF"
 option highlight_color : string = "50505032"
 option hyperlink_color : string = "000000FF"
 option active_color : string = "DCDCDCFF"
 option active_hover_color : string = "9DC75DFF"
 option active_result_color : string = "999966FF"