src/Tools/jEdit/etc/options
changeset 63347 e344dc82f6c2
parent 62991 35f1475e9ced
child 63455 019856db2bb6
     1.1 --- a/src/Tools/jEdit/etc/options	Wed Jun 22 11:10:18 2016 +0200
     1.2 +++ b/src/Tools/jEdit/etc/options	Wed Jun 22 16:04:03 2016 +0200
     1.3 @@ -133,6 +133,7 @@
     1.4  option inner_cartouche_color : string = "CC6600FF"
     1.5  option inner_comment_color : string = "CC0000FF"
     1.6  option dynamic_color : string = "7BA428FF"
     1.7 +option class_parameter_color : string = "D2691EFF"
     1.8  
     1.9  option markdown_item_color1 : string = "DAFEDAFF"
    1.10  option markdown_item_color2 : string = "FFF0CCFF"