src/Tools/jEdit/etc/options
changeset 67322 734a4e44b159
parent 66180 201d42f67bba
child 68871 f5c76072db55
equal deleted inserted replaced
67313:a2d7c0987f19 67322:734a4e44b159
   130 option inner_cartouche_color : string = "CC6600FF"
   130 option inner_cartouche_color : string = "CC6600FF"
   131 option inner_comment_color : string = "CC0000FF"
   131 option inner_comment_color : string = "CC0000FF"
   132 option dynamic_color : string = "7BA428FF"
   132 option dynamic_color : string = "7BA428FF"
   133 option class_parameter_color : string = "D2691EFF"
   133 option class_parameter_color : string = "D2691EFF"
   134 
   134 
   135 option markdown_item1_color : string = "DAFEDAFF"
   135 option markdown_bullet1_color : string = "DAFEDAFF"
   136 option markdown_item2_color : string = "FFF0CCFF"
   136 option markdown_bullet2_color : string = "FFF0CCFF"
   137 option markdown_item3_color : string = "E7E7FFFF"
   137 option markdown_bullet3_color : string = "E7E7FFFF"
   138 option markdown_item4_color : string = "FFE0F0FF"
   138 option markdown_bullet4_color : string = "FFE0F0FF"
   139 
   139 
   140 
   140 
   141 section "Icons"
   141 section "Icons"
   142 
   142 
   143 option tooltip_close_icon : string = "idea-icons/actions/closeHovered.png"
   143 option tooltip_close_icon : string = "idea-icons/actions/closeHovered.png"