| changeset 61449 | 4f31f79cf2d1 |
| parent 61196 | 67c20ce71d22 |
| child 61719 | 318f324d41f5 |
--- a/src/Tools/jEdit/etc/options Thu Oct 15 13:48:47 2015 +0200 +++ b/src/Tools/jEdit/etc/options Thu Oct 15 15:06:03 2015 +0200 @@ -133,6 +133,11 @@ option inner_comment_color : string = "CC0000FF" option dynamic_color : string = "7BA428FF" +option markdown_item_color1 : string = "DAFEDAFF" +option markdown_item_color2 : string = "FFF0CCFF" +option markdown_item_color3 : string = "E7E7FFFF" +option markdown_item_color4 : string = "FFE0F0FF" + section "Icons"