diff -r c8366fb67538 -r e344dc82f6c2 src/Tools/jEdit/etc/options
--- a/src/Tools/jEdit/etc/options	Wed Jun 22 11:10:18 2016 +0200
+++ b/src/Tools/jEdit/etc/options	Wed Jun 22 16:04:03 2016 +0200
@@ -133,6 +133,7 @@
 option inner_cartouche_color : string = "CC6600FF"
 option inner_comment_color : string = "CC0000FF"
 option dynamic_color : string = "7BA428FF"
+option class_parameter_color : string = "D2691EFF"
 
 option markdown_item_color1 : string = "DAFEDAFF"
 option markdown_item_color2 : string = "FFF0CCFF"